arch/risc-v/src/k210/k210_schedulesigaction.c: Fix syslog formats

This commit is contained in:
YAMAMOTO Takashi 2020-11-22 17:27:26 +09:00 committed by Xiang Xiao
parent c1f9d8adb1
commit 9e04704cb6

View File

@ -41,6 +41,7 @@
#include <nuttx/config.h>
#include <inttypes.h>
#include <stdint.h>
#include <sched.h>
#include <debug.h>
@ -172,7 +173,8 @@ void up_schedule_sigaction(struct tcb_s *tcb, sig_deliver_t sigdeliver)
up_savestate(tcb->xcp.regs);
sinfo("PC/STATUS Saved: %016x/%016x New: %016x/%016x\n",
sinfo("PC/STATUS Saved: %016" PRIx64 "/%016" PRIx64
" New: %016" PRIx64 "/%016" PRIx64 "\n",
tcb->xcp.saved_epc, tcb->xcp.saved_int_ctx,
CURRENT_REGS[REG_EPC], CURRENT_REGS[REG_INT_CTX]);
}
@ -207,7 +209,8 @@ void up_schedule_sigaction(struct tcb_s *tcb, sig_deliver_t sigdeliver)
tcb->xcp.regs[REG_INT_CTX] = int_ctx;
sinfo("PC/STATUS Saved: %016x/%016x New: %016x/%016x\n",
sinfo("PC/STATUS Saved: %016" PRIx64 "/%016" PRIx64
" New: %016" PRIx64 "/%016" PRIx64 "\n",
tcb->xcp.saved_epc, tcb->xcp.saved_int_ctx,
tcb->xcp.regs[REG_EPC], tcb->xcp.regs[REG_INT_CTX]);
}