From 982061a9e044dcb57f35ba6cb4636ed8c5e64bcf Mon Sep 17 00:00:00 2001
From: YAMAMOTO Takashi <yamamoto@midokura.com>
Date: Sun, 22 Nov 2020 17:08:47 +0900
Subject: [PATCH] arch/risc-v/src/rv64gc/riscv_swint.c: Fix a syslog format

---
 arch/risc-v/src/rv64gc/riscv_swint.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/arch/risc-v/src/rv64gc/riscv_swint.c b/arch/risc-v/src/rv64gc/riscv_swint.c
index 8061102f28a..8fe94359e55 100644
--- a/arch/risc-v/src/rv64gc/riscv_swint.c
+++ b/arch/risc-v/src/rv64gc/riscv_swint.c
@@ -39,6 +39,7 @@
 
 #include <nuttx/config.h>
 
+#include <inttypes.h>
 #include <stdint.h>
 #include <string.h>
 #include <assert.h>
@@ -439,7 +440,7 @@ int up_swint(int irq, FAR void *context, FAR void *arg)
 
           rtcb->flags         |= TCB_FLAG_SYSCALL;
 #else
-          svcerr("ERROR: Bad SYS call: %d\n", regs[REG_A0]);
+          svcerr("ERROR: Bad SYS call: %" PRId64 "\n", regs[REG_A0]);
 #endif
         }
         break;