From 0c8aa190cae750ad73b26095786829ac4e577dca Mon Sep 17 00:00:00 2001
From: YAMAMOTO Takashi <yamamoto@midokura.com>
Date: Fri, 20 Nov 2020 16:52:26 +0900
Subject: [PATCH] sched/signal/sig_dispatch.c: Fix a syslog format

---
 sched/signal/sig_dispatch.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/sched/signal/sig_dispatch.c b/sched/signal/sig_dispatch.c
index 868e3e0c5a..7f4ac043cb 100644
--- a/sched/signal/sig_dispatch.c
+++ b/sched/signal/sig_dispatch.c
@@ -40,6 +40,7 @@
 
 #include <nuttx/config.h>
 
+#include <inttypes.h>
 #include <string.h>
 #include <signal.h>
 #include <unistd.h>
@@ -305,7 +306,7 @@ int nxsig_tcbdispatch(FAR struct tcb_s *stcb, siginfo_t *info)
   int masked;
   int ret = OK;
 
-  sinfo("TCB=%p signo=%d code=%d value=%d mask=%08x\n",
+  sinfo("TCB=%p signo=%d code=%d value=%d mask=%08" PRIx32 "\n",
         stcb, info->si_signo, info->si_code,
         info->si_value.sival_int, stcb->sigprocmask);