- /* Just set our status to dying and schedule another process.
- We will be destroyed during the call to schedule_tail(). */
- intr_disable ();
-- thread_current ()->status = THREAD_DYING;
-+ t->status = THREAD_DYING;
- schedule ();
- NOT_REACHED ();
- }
-@@ -406,17 +410,29 @@ is_thread (struct thread *t)
+ /* Remove thread from all threads list, set our status to dying,
+@@ -406,23 +410,35 @@ is_thread (struct thread *t)