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);