Invent tid_t data type and use it in many places where we current use

[pintos-anon] / src / userprog / exception.c

diff --git a/src/userprog/exception.c b/src/userprog/exception.c
index 4e9d28ffd321204709afaabc0ea22f023e53296f..dead766fdbde82b736394f1fc4c8ab92d371ff37 100644 (file)
--- a/src/userprog/exception.c
+++ b/src/userprog/exception.c
@@ -74,8 +74,7 @@ kill (struct intr_frame *f)
       /* User's code segment, so it's a user exception, as we
          expected.  Kill the user process.  */
       printf ("%s: dying due to interrupt %#04x (%s).\n",
-              thread_name (thread_current ()),
-              f->vec_no, intr_name (f->vec_no));
+              thread_name (), f->vec_no, intr_name (f->vec_no));
       intr_dump_frame (f);
       thread_exit ();