From b15da3b18de6597183ccce61ac7d56b340a5b825 Mon Sep 17 00:00:00 2001 From: YAMAMOTO Takashi Date: Sat, 28 Nov 2020 10:12:50 +0900 Subject: [PATCH] arch/arm/src/arm/arm_prefetchabort.c: Fix a syslog format --- arch/arm/src/arm/arm_prefetchabort.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/arch/arm/src/arm/arm_prefetchabort.c b/arch/arm/src/arm/arm_prefetchabort.c index 64f1cc01e7..97375619da 100644 --- a/arch/arm/src/arm/arm_prefetchabort.c +++ b/arch/arm/src/arm/arm_prefetchabort.c @@ -24,6 +24,7 @@ #include +#include #include #include @@ -84,7 +85,7 @@ void arm_prefetchabort(uint32_t *regs) * virtual addresses. */ - pginfo("VADDR: %08x VBASE: %08x VEND: %08x\n", + pginfo("VADDR: %08" PRIx32 " VBASE: %08x VEND: %08x\n", regs[REG_PC], PG_PAGED_VBASE, PG_PAGED_VEND); if (regs[REG_R15] >= PG_PAGED_VBASE && regs[REG_R15] < PG_PAGED_VEND)