Clean up threads.

[pintos-anon] / src / threads / interrupt.c

diff --git a/src/threads/interrupt.c b/src/threads/interrupt.c
index 885d25021f14b335ea72890d1fd7672e12907ca0..9f71b8c1ae08bb92e7efbded26a11954c949dc6f 100644 (file)
--- a/src/threads/interrupt.c
+++ b/src/threads/interrupt.c
@@ -279,7 +279,8 @@ 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));
+              thread_name (thread_current ()),
+              f->vec_no, intr_name (f->vec_no));
       dump_intr_frame (f);
       thread_exit ();