Make a debugging printf a little more useful.

This commit is contained in:
Tim Kientzle 2013-05-04 21:26:11 +00:00
parent d0e8071ace
commit 06e950328a

View File

@ -240,8 +240,8 @@ data_abort_handler(trapframe_t *tf)
far = cpu_faultaddress();
fsr = cpu_faultstatus();
#if 0
printf("data abort: %p (from %p %p)\n", (void*)far, (void*)tf->tf_pc,
(void*)tf->tf_svc_lr);
printf("data abort: fault address=%p (from pc=%p lr=%p)\n",
(void*)far, (void*)tf->tf_pc, (void*)tf->tf_svc_lr);
#endif
/* Update vmmeter statistics */