sched/signal/sig_dispatch.c: Fix a syslog format

This commit is contained in:
YAMAMOTO Takashi 2020-11-20 16:52:26 +09:00 committed by Xiang Xiao
parent 8a23f98233
commit 0c8aa190ca

View File

@ -40,6 +40,7 @@
#include <nuttx/config.h> #include <nuttx/config.h>
#include <inttypes.h>
#include <string.h> #include <string.h>
#include <signal.h> #include <signal.h>
#include <unistd.h> #include <unistd.h>
@ -305,7 +306,7 @@ int nxsig_tcbdispatch(FAR struct tcb_s *stcb, siginfo_t *info)
int masked; int masked;
int ret = OK; 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, stcb, info->si_signo, info->si_code,
info->si_value.sival_int, stcb->sigprocmask); info->si_value.sival_int, stcb->sigprocmask);