hat_switch
hat_switch(thd->t_procp->p_as->a_hat);
hat_switch(hat);
extern void hat_switch(struct hat *hat);