arch/mips/src/mips32/mips_swint0.c: Fix a syslog format

This commit is contained in:
YAMAMOTO Takashi 2020-12-05 11:28:37 +09:00 committed by Xiang Xiao
parent 7731de24e8
commit 4699e9dfde

View File

@ -39,6 +39,7 @@
#include <nuttx/config.h>
#include <inttypes.h>
#include <stdint.h>
#include <string.h>
#include <syscall.h>
@ -289,7 +290,7 @@ int up_swint0(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: %" PRId32 "\n", regs[REG_A0]);
#endif
}
break;