X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Finterrupt.c;h=885d25021f14b335ea72890d1fd7672e12907ca0;hb=f5834933e7bb494704522fc6be1a57780882c591;hp=5227486f4212c3d6ccab71f1e998c39fbef9ec8c;hpb=dc664a1d3f3b8e9db66a2147683ed981a4568689;p=pintos-anon

diff --git a/src/threads/interrupt.c b/src/threads/interrupt.c
index 5227486..885d250 100644
--- a/src/threads/interrupt.c
+++ b/src/threads/interrupt.c
@@ -280,6 +280,7 @@ intr_kill (struct intr_frame *f)
     case SEL_UCSEG:
       printk ("%s: dying due to interrupt %#04x (%s).\n",
               thread_current ()->name, f->vec_no, intr_name (f->vec_no));
+      dump_intr_frame (f);
       thread_exit (); 
 
     case SEL_KCSEG: