OrgApache/incubator-nuttx
OrgApache
/
incubator-nuttx
mirror of https://github.com/apache/incubator-nuttx.git
1
0
Fork 0
Code Issues Releases Wiki Activity

arch/arm/src/arm/arm_prefetchabort.c: Fix a syslog format

This commit is contained in:
YAMAMOTO Takashi 2020-11-28 10:12:50 +09:00 committed by Xiang Xiao
parent 18bfb39552
commit b15da3b18d
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/arm/src/arm/arm_prefetchabort.c
View File

@ -24,6 +24,7 @@
#include <nuttx/config.h> #include <nuttx/config.h>
#include <inttypes.h>
#include <stdint.h> #include <stdint.h>
#include <debug.h> #include <debug.h>
@ -84,7 +85,7 @@ void arm_prefetchabort(uint32_t *regs)
* virtual addresses. * virtual addresses.
*/ */
pginfo("VADDR: %08x VBASE: %08x VEND: %08x\n", pginfo("VADDR: %08" PRIx32 " VBASE: %08x VEND: %08x\n",
regs[REG_PC], PG_PAGED_VBASE, PG_PAGED_VEND); regs[REG_PC], PG_PAGED_VBASE, PG_PAGED_VEND);
if (regs[REG_R15] >= PG_PAGED_VBASE && regs[REG_R15] < PG_PAGED_VEND) if (regs[REG_R15] >= PG_PAGED_VBASE && regs[REG_R15] < PG_PAGED_VEND)