[incubator-nuttx] 21/24: arch/arm/src/arm/arm_prefetchabort.c: Fix a syslog format

[xiaoxiang]

This is an automated email from the ASF dual-hosted git repository.

xiaoxiang pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/incubator-nuttx.git

commit b15da3b18de6597183ccce61ac7d56b340a5b825
Author: YAMAMOTO Takashi <yamam...@midokura.com>
AuthorDate: Sat Nov 28 10:12:50 2020 +0900

    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 64f1cc0..9737561 100644
--- a/arch/arm/src/arm/arm_prefetchabort.c
+++ b/arch/arm/src/arm/arm_prefetchabort.c
@@ -24,6 +24,7 @@
 
 #include <nuttx/config.h>
 
+#include <inttypes.h>
 #include <stdint.h>
 #include <debug.h>
 
@@ -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)