From 985a7ad227ca1c39fdf1c83058654bea10db9530 Mon Sep 17 00:00:00 2001
From: YAMAMOTO Takashi <yamamoto@midokura.com>
Date: Tue, 1 Dec 2020 21:56:20 +0900
Subject: [PATCH] arch/arm/src/imxrt/imxrt_irq.c: Fix syslog formats
---
arch/arm/src/imxrt/imxrt_irq.c | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/arch/arm/src/imxrt/imxrt_irq.c b/arch/arm/src/imxrt/imxrt_irq.c
index 11fd69b0dc..db3d852e34 100644
--- a/arch/arm/src/imxrt/imxrt_irq.c
+++ b/arch/arm/src/imxrt/imxrt_irq.c
@@ -24,6 +24,7 @@
#include <nuttx/config.h>
+#include <inttypes.h>
#include <stdint.h>
#include <debug.h>
@@ -230,7 +231,8 @@ static int imxrt_nmi(int irq, FAR void *context, FAR void *arg)
static int imxrt_busfault(int irq, FAR void *context, FAR void *arg)
{
up_irq_save();
- _err("PANIC!!! Bus fault received: %08x\n", getreg32(NVIC_CFAULTS));
+ _err("PANIC!!! Bus fault received: %08" PRIx32 "\n",
+ getreg32(NVIC_CFAULTS));
PANIC();
return 0;
}
@@ -238,7 +240,8 @@ static int imxrt_busfault(int irq, FAR void *context, FAR void *arg)
static int imxrt_usagefault(int irq, FAR void *context, FAR void *arg)
{
up_irq_save();
- _err("PANIC!!! Usage fault received: %08x\n", getreg32(NVIC_CFAULTS));
+ _err("PANIC!!! Usage fault received: %08" PRIx32 "\n",
+ getreg32(NVIC_CFAULTS));
PANIC();
return 0;
}