Lines Matching refs:kas
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()
596 hat = kas.a_hat->hat_next; in htable_steal()
679 kas.a_hat->hat_prev != hat) in htable_steal()
691 ASSERT(hat != kas.a_hat); in htable_steal()
1142 (higher->ht_hat == kas.a_hat && higher->ht_level == VLP_LEVEL) || in link_ptp()
1207 (hat != kas.a_hat || va >= kernelbase)) in htable_release()
1485 kas.a_hat->hat_htable = ht; in htable_attach()
1675 ASSERT(hat == kas.a_hat || eaddr <= kernelbase || in htable_walk()
1677 if (hat != kas.a_hat && eaddr == HTABLE_WALK_TO_END) in htable_walk()
2187 if (ht->ht_level == mmu.max_level && ht->ht_hat != kas.a_hat) { in x86pte_cas()
2489 for (hat = kas.a_hat; hat != NULL; hat = hat->hat_next) { in hat_dump()