From 59e0cf23fc83b95bcc04719bd88e668e9f9c8a73 Mon Sep 17 00:00:00 2001
From: YAMAMOTO Takashi <yamamoto@midokura.com>
Date: Wed, 25 Nov 2020 14:38:52 +0900
Subject: [PATCH] arch/arm/src/arm/arm_syscall.c: Fix a syslog format

---
 arch/arm/src/arm/arm_syscall.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/arch/arm/src/arm/arm_syscall.c b/arch/arm/src/arm/arm_syscall.c
index 536f7c2c7d..dc4d0d665d 100644
--- a/arch/arm/src/arm/arm_syscall.c
+++ b/arch/arm/src/arm/arm_syscall.c
@@ -66,7 +66,7 @@
 
 void arm_syscall(uint32_t *regs)
 {
-  _alert("Syscall from 0x%x\n", regs[REG_PC]);
+  _alert("Syscall from 0x%" PRIx32 "\n", regs[REG_PC]);
   CURRENT_REGS = regs;
   PANIC();
 }