cpu_current_hat

1487

hat_t *old = cpu->cpu_current_hat;

1505

cpu->cpu_current_hat = hat;

2448

if (hat != kas.a_hat && hat != CPU->cpu_current_hat)

2500

ASSERT(CPU->cpu_current_hat == kas.a_hat);

675

ASSERT(CPU->cpu_current_hat != hat);

180

*pap = pfn_to_pa(CPU->cpu_current_hat->hat_htable->ht_pfn);

419

CPU->cpu_current_hat = kas.a_hat;