Lines Matching refs:a_hat
546 kas.a_hat->hat_next = hat->hat_next; in move_victim()
551 kas.a_hat->hat_prev = hat->hat_prev; in move_victim()
554 hat->hat_prev = kas.a_hat->hat_prev; in move_victim()
558 kas.a_hat->hat_next = hat; in move_victim()
560 kas.a_hat->hat_prev = hat; in move_victim()
570 hat_t *hat = kas.a_hat; /* list starts with khat */ in htable_steal()
611 hat = kas.a_hat->hat_next; in htable_steal()
698 kas.a_hat->hat_prev != hat) in htable_steal()
710 ASSERT(hat != kas.a_hat); in htable_steal()
1224 (hat != kas.a_hat || va >= kernelbase)) in htable_release()
1502 kas.a_hat->hat_htable = ht; in htable_attach()
1686 ASSERT(hat == kas.a_hat || eaddr <= kernelbase || in htable_walk()
1688 if (hat != kas.a_hat && eaddr == HTABLE_WALK_TO_END) in htable_walk()
2173 if (ht->ht_level == mmu.max_level && ht->ht_hat != kas.a_hat) { in x86pte_cas()
2469 for (hat = kas.a_hat; hat != NULL; hat = hat->hat_next) { in hat_dump()