[incubator-nuttx] 20/24: arch/arm/src/arm/arm_dataabort.c: Fix syslog formats

[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 18bfb3955217437e3d4b9bbbc359a00d1de791aa
Author: YAMAMOTO Takashi <yamam...@midokura.com>
AuthorDate: Sat Nov 28 10:12:02 2020 +0900

    arch/arm/src/arm/arm_dataabort.c: Fix syslog formats
---
 arch/arm/src/arm/arm_dataabort.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/arch/arm/src/arm/arm_dataabort.c b/arch/arm/src/arm/arm_dataabort.c
index 9bc5862..4af3ee7 100644
--- a/arch/arm/src/arm/arm_dataabort.c
+++ b/arch/arm/src/arm/arm_dataabort.c
@@ -24,6 +24,7 @@
 
 #include <nuttx/config.h>
 
+#include <inttypes.h>
 #include <stdint.h>
 #include <debug.h>
 
@@ -92,7 +93,7 @@ void arm_dataabort(uint32_t *regs, uint32_t far, uint32_t fsr)
    * fatal error.
    */
 
-  pginfo("FSR: %08x FAR: %08x\n", fsr, far);
+  pginfo("FSR: %08" PRIx32 " FAR: %08" PRIx32 "\n", fsr, far);
   if ((fsr & FSR_MASK) != FSR_PAGE)
     {
       goto segfault;