-/* Destroys T, which must not be the running thread. */
-static void
-destroy_thread (struct thread *t)
-{
- ASSERT (is_thread (t));
- ASSERT (t != thread_current ());
-
-#ifdef USERPROG
- process_destroy (t);
-#endif
- if (t != initial_thread)
- palloc_free (t);
-}
-