From 32c8f6192d9ced57f6cc33b8598ed1a91c9874eb Mon Sep 17 00:00:00 2001 From: Balazs Gerofi Date: Sat, 25 Feb 2017 14:27:30 +0900 Subject: [PATCH] unhandled_page_fault(): print registers for kernel mode PF --- arch/x86/kernel/cpu.c | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/arch/x86/kernel/cpu.c b/arch/x86/kernel/cpu.c index 2b99e2fd..01d5f0f5 100644 --- a/arch/x86/kernel/cpu.c +++ b/arch/x86/kernel/cpu.c @@ -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);