X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fthreads%2Finterrupt.c;h=3ae505033d02bda812985a703c05573e8bd66ac9;hp=f368385b2c833ff8c87ef05b58381deff104d521;hb=3fc16f6e9abc98a3bd5427eb210669860609a224;hpb=540641a18c65c05df757ced2f225ade578da15aa

diff --git a/src/threads/interrupt.c b/src/threads/interrupt.c
index f368385..3ae5050 100644
--- a/src/threads/interrupt.c
+++ b/src/threads/interrupt.c
@@ -260,7 +260,6 @@ intr_unexpected (struct intr_args *regs)
 {
   uint32_t cr2;
   asm ("movl %%cr2, %0" : "=r" (cr2));
-  printk ("Unexpected interrupt 0x%02x, error code %08x, cr2=%08x, eip=%08x\n",
-          regs->vec_no, regs->error_code, cr2, regs->eip);
-  for (;;);
+  panic ("Unexpected interrupt 0x%02x, error code %08x, cr2=%08x, eip=%08x",
+         regs->vec_no, regs->error_code, cr2, regs->eip);
 }