diff --git a/arch/x86/mm/page.c b/arch/x86/mm/page.c
index 33b5592b..cb22c6f3 100644
--- a/arch/x86/mm/page.c
+++ b/arch/x86/mm/page.c
@@ -651,7 +651,6 @@ default_handler:
 	kprintf("Register state: eax = 0x%x, ebx = 0x%x, ecx = 0x%x, edx = 0x%x, edi = 0x%x, esi = 0x%x, ebp = 0x%x, esp = 0x%x\n", 
 		s->eax, s->ebx, s->ecx, s->edx, s->edi, s->esi, s->ebp, s->esp);
 
-	while(1);
 	irq_enable();
 	abort();
 }