arch/risc-v/src/rv64gc/riscv_swint.c: Fix a syslog format

This commit is contained in:
YAMAMOTO Takashi 2020-11-22 17:08:47 +09:00 committed by Xiang Xiao
parent c934214bb3
commit 982061a9e0

View File

@ -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;