unhandled_page_fault(): print registers for kernel mode PF

This commit is contained in:
Balazs Gerofi
2017-02-25 14:27:30 +09:00
parent e2f424846c
commit 32c8f6192d

View File

@ -1101,13 +1101,12 @@ unhandled_page_fault(struct thread *thread, void *fault_addr, void *regs)
kprintf_unlock(irqflags);
if (!(error & PF_USER)) {
panic("panic: kernel mode PF");
}
/* TODO */
ihk_mc_debug_show_interrupt_context(regs);
if (!(error & PF_USER)) {
panic("panic: kernel mode PF");
}
//dkprintf("now dump a core file\n");
//coredump(proc, regs);