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

This commit is contained in:
YAMAMOTO Takashi 2020-11-22 17:28:07 +09:00 committed by Xiang Xiao
parent 9e04704cb6
commit 21a84e4558

View File

@ -44,6 +44,7 @@
#include <nuttx/config.h>
#include <inttypes.h>
#include <stdint.h>
#include <sched.h>
#include <syscall.h>
@ -140,7 +141,7 @@ void up_sigdeliver(void)
* errno that is needed by the user logic (it is probably EINTR).
*/
sinfo("Resuming EPC: %016x INT_CTX: %016x\n",
sinfo("Resuming EPC: %016" PRIx64 " INT_CTX: %016" PRIx64 "\n",
regs[REG_EPC], regs[REG_INT_CTX]);
/* Call enter_critical_section() to disable local interrupts before