From f5834933e7bb494704522fc6be1a57780882c591 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 1 Sep 2004 01:16:42 +0000
Subject: [PATCH] Dump interrupt frame info on user fault.

---
 src/threads/interrupt.c | 1 +
 1 file changed, 1 insertion(+)

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:
-- 
2.30.2