sergiotarxz/nuttx
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

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

Browse Source
This commit is contained in:
YAMAMOTO Takashi 2020-11-22 17:06:34 +09:00 committed by Xiang Xiao
parent d8c5095fa7
commit c934214bb3
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
arch/risc-v/src/rv32im/riscv_sigdeliver.c
View File

@ -44,6 +44,7 @@
#include <nuttx/config.h>
#include <inttypes.h>
#include <stdint.h>
#include <sched.h>
#include <syscall.h>
@ -111,7 +112,7 @@ void up_sigdeliver(void)
* errno that is needed by the user logic (it is probably EINTR).
*/
sinfo("Resuming EPC: %08x INT_CTX: %08x\n",
sinfo("Resuming EPC: %08" PRIx32 " INT_CTX: %08" PRIx32 "\n",
regs[REG_EPC], regs[REG_INT_CTX]);
up_irq_save();