arch/x86_64/src/intel64/intel64_handlers.c: Fix a syslog format

This commit is contained in:
YAMAMOTO Takashi 2020-11-22 15:26:07 +09:00 committed by Xiang Xiao
parent b1ecca08c1
commit 1bbdd3b415

View File

@ -29,6 +29,7 @@
#include <nuttx/board.h>
#include <nuttx/signal.h>
#include <arch/io.h>
#include <inttypes.h>
#include <syscall.h>
#include <arch/board/board.h>
@ -163,7 +164,8 @@ uint64_t *isr_handler(uint64_t *regs, uint64_t irq)
*/
_alert("PANIC:\n");
_alert("Exception %lld occurred with error code %lld:\n",
_alert("Exception %" PRId64 " occurred "
"with error code %" PRId64 ":\n",
irq, regs[REG_ERRCODE]);
up_registerdump(regs);