From 34a31ea1e55a5a31087b1217a5d48c171e9685a2 Mon Sep 17 00:00:00 2001
From: YAMAMOTO Takashi <yamamoto@midokura.com>
Date: Thu, 26 Nov 2020 09:20:57 +0900
Subject: [PATCH] arch/arm/src/armv7-m/arm_hardfault.c: Fix a syslog format

---
 arch/arm/src/armv7-m/arm_hardfault.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/arch/arm/src/armv7-m/arm_hardfault.c b/arch/arm/src/armv7-m/arm_hardfault.c
index 515f7efdf43..2b886478cf2 100644
--- a/arch/arm/src/armv7-m/arm_hardfault.c
+++ b/arch/arm/src/armv7-m/arm_hardfault.c
@@ -24,6 +24,7 @@
 
 #include <nuttx/config.h>
 
+#include <inttypes.h>
 #include <stdint.h>
 #include <string.h>
 #include <assert.h>
@@ -130,7 +131,7 @@ int arm_hardfault(int irq, FAR void *context, FAR void *arg)
           getreg32(NVIC_AFAULTS));
 
   up_irq_save();
-  _alert("PANIC!!! Hard fault: %08x\n", getreg32(NVIC_HFAULTS));
+  _alert("PANIC!!! Hard fault: %08" PRIx32 "\n", getreg32(NVIC_HFAULTS));
   PANIC();
   return OK;
 }