From 7731de24e8a07caa5ae3e97722e6cdc0d15c052e Mon Sep 17 00:00:00 2001
From: YAMAMOTO Takashi <yamamoto@midokura.com>
Date: Sat, 5 Dec 2020 11:27:46 +0900
Subject: [PATCH] arch/mips/src/mips32/mips_sigdeliver.c: Fix a syslog format

---
 arch/mips/src/mips32/mips_sigdeliver.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/arch/mips/src/mips32/mips_sigdeliver.c b/arch/mips/src/mips32/mips_sigdeliver.c
index ddf74779c64..a66ef29bf2e 100644
--- a/arch/mips/src/mips32/mips_sigdeliver.c
+++ b/arch/mips/src/mips32/mips_sigdeliver.c
@@ -24,6 +24,7 @@
 
 #include <nuttx/config.h>
 
+#include <inttypes.h>
 #include <stdint.h>
 #include <sched.h>
 #include <syscall.h>
@@ -91,7 +92,7 @@ void up_sigdeliver(void)
    * errno that is needed by the user logic (it is probably EINTR).
    */
 
-  sinfo("Resuming EPC: %08x STATUS: %08x\n",
+  sinfo("Resuming EPC: %08" PRIx32 " STATUS: %08" PRIx32 "\n",
         regs[REG_EPC], regs[REG_STATUS]);
 
   up_irq_save();