cpu_current_hat
hat_t *old = cpu->cpu_current_hat;
cpu->cpu_current_hat = hat;
if (hat != kas.a_hat && hat != CPU->cpu_current_hat)
ASSERT(CPU->cpu_current_hat == kas.a_hat);
ASSERT(CPU->cpu_current_hat != hat);
*pap = pfn_to_pa(CPU->cpu_current_hat->hat_htable->ht_pfn);
CPU->cpu_current_hat = kas.a_hat;