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();
 }