thd
hat_thread_exit(kthread_t *thd)
ASSERT(thd->t_procp->p_as == &kas);
hat_switch(thd->t_procp->p_as->a_hat);
hat_thread_exit(kthread_t *thd)
ASSERT(thd->t_procp->p_as == &kas);