344 			src = htable_lookup(kas.a_hat, va, rp->hkr_level);  in hat_alloc()
378 	hat->hat_next = kas.a_hat->hat_next;  in hat_alloc()
382 		kas.a_hat->hat_prev = hat;  in hat_alloc()
383 	kas.a_hat->hat_next = hat;  in hat_alloc()
432 		kas.a_hat->hat_next = hat->hat_next;  in hat_free_end()
436 		kas.a_hat->hat_prev = hat->hat_prev;  in hat_free_end()
729 	AS_LOCK_ENTER(&kas, RW_WRITER);  in hat_init()
730 	kas.a_hat = kmem_cache_alloc(hat_cache, KM_NOSLEEP);  in hat_init()
731 	mutex_init(&kas.a_hat->hat_mutex, NULL, MUTEX_DEFAULT, NULL);  in hat_init()
732 	kas.a_hat->hat_as = &kas;  in hat_init()
733 	kas.a_hat->hat_flags = 0;  in hat_init()
734 	AS_LOCK_EXIT(&kas);  in hat_init()
744 	kas.a_hat->hat_next = NULL;  in hat_init()
745 	kas.a_hat->hat_prev = NULL;  in hat_init()
751 	kas.a_hat->hat_num_hash = mmu.hash_cnt;  in hat_init()
752 	kas.a_hat->hat_ht_hash = kmem_cache_alloc(hat_hash_cache, KM_NOSLEEP);  in hat_init()
753 	bzero(kas.a_hat->hat_ht_hash, mmu.hash_cnt * sizeof (htable_t *));  in hat_init()
758 	kas.a_hat->hat_ht_cached = NULL;  in hat_init()
759 	kas.a_hat->hat_htable = NULL;  in hat_init()
799 	    hat_getpfnum(kas.a_hat, (caddr_t)hci->hci_vlp_l3ptes);  in hat_vlp_setup()
803 	pfn = hat_getpfnum(kas.a_hat, (caddr_t)hci->hci_vlp_l2ptes);  in hat_vlp_setup()
903 			    (ht = htable_getpage(kas.a_hat, va, NULL)) !=  in hat_init_finish()
909 			(void) htable_create(kas.a_hat, va, rp->hkr_level - 1,  in hat_init_finish()
923 		hat_devload(kas.a_hat, (caddr_t)vlp_page, MMU_PAGESIZE,  in hat_init_finish()
924 		    kas.a_hat->hat_htable->ht_pfn,  in hat_init_finish()
997 		if (old != kas.a_hat)  in hat_switch()
1004 	if (hat != kas.a_hat) {  in hat_switch()
1020 		newcr3 = MAKECR3(kas.a_hat->hat_htable->ht_pfn) +  in hat_switch()
1041 		if (hat == kas.a_hat)  in hat_switch()
1122 	ASSERT(new != kas.a_hat);  in hat_dup()
1123 	ASSERT(old != kas.a_hat);  in hat_dup()
1321 	is_locked = (flags & HAT_LOAD_LOCK) != 0 && hat != kas.a_hat;  in hati_pte_map()
1441 	ASSERT(hat == kas.a_hat || AS_LOCK_HELD(hat->hat_as));  in hati_load_common()
1475 	if (hat == kas.a_hat)  in hati_load_common()
1478 	if (hat == kas.a_hat && va >= kernelbase)  in hati_load_common()
1588 	ASSERT(hat == kas.a_hat || va < _userlimit);  in hat_memload()
1589 	ASSERT(hat == kas.a_hat || AS_LOCK_HELD(hat->hat_as));  in hat_memload()
1599 		ASSERT(hat == kas.a_hat);  in hat_memload()
1645 	ASSERT(hat == kas.a_hat || va + len <= _userlimit);  in hat_memload_array()
1646 	ASSERT(hat == kas.a_hat || AS_LOCK_HELD(hat->hat_as));  in hat_memload_array()
1780 	ASSERT(hat == kas.a_hat || eva <= _userlimit);  in hat_devload()
1781 	ASSERT(hat == kas.a_hat || AS_LOCK_HELD(hat->hat_as));  in hat_devload()
1880 	ASSERT(hat == kas.a_hat || eaddr <= _userlimit);  in hat_unlock()
1883 	if (hat == kas.a_hat)  in hat_unlock()
1934 	if (hat != kas.a_hat && hat != CPU->cpu_current_hat)  in hati_demap_func()
2016 		ASSERT(CPU->cpu_current_hat == kas.a_hat);  in tlb_service()
2061 		hat = kas.a_hat;  in hat_tlb_inval_range()
2090 	if (hat == kas.a_hat)  in hat_tlb_inval_range()
2190 	if ((flags & HAT_UNLOAD_UNLOCK) != 0 && hat != kas.a_hat) {  in hat_pte_unmap()
2316 	ASSERT(hat == kas.a_hat || va + len <= _userlimit);  in hat_unload()
2322 		ASSERT(hat == kas.a_hat);  in hat_unload()
2391 	ASSERT(hat == kas.a_hat || eaddr <= _userlimit);  in hat_unload_callback()
2515 	ASSERT(hat == kas.a_hat || eaddr <= _userlimit);  in hat_sync()
2597 	ASSERT(hat == kas.a_hat || vaddr <= _userlimit);  in hat_getattr()
2644 	ASSERT(hat == kas.a_hat || AS_LOCK_HELD(hat->hat_as));  in hat_updateattr()
2737 	ASSERT(hat == kas.a_hat || (uintptr_t)addr + len <= _userlimit);  in hat_setattr()
2744 	ASSERT(hat == kas.a_hat || (uintptr_t)addr + len <= _userlimit);  in hat_clrattr()
2751 	ASSERT(hat == kas.a_hat || (uintptr_t)addr + len <= _userlimit);  in hat_chgattr()
2758 	ASSERT(hat == kas.a_hat || (uintptr_t)addr + len <= _userlimit);  in hat_chgprot()
2774 	ASSERT(hat == kas.a_hat || vaddr <= _userlimit);  in hat_getpagesize()
2799 	ASSERT(hat == kas.a_hat || vaddr <= _userlimit);  in hat_getpfnum()
2853 	ASSERT(hat == kas.a_hat || vaddr <= _userlimit);  in hat_probe()
2854 	ASSERT(hat == kas.a_hat || AS_LOCK_HELD(hat->hat_as));  in hat_probe()
2934 	ASSERT(hat != kas.a_hat);  in hat_share()
3111 	ASSERT(hat != kas.a_hat);  in hat_unshare()
3837 	ASSERT(thd->t_procp->p_as == &kas);  in hat_thread_exit()
3882 	ht = htable_getpte(kas.a_hat, va, &entry, &oldpte, 0);  in hat_mempte_setup()
3884 		ht = htable_create(kas.a_hat, va, 0, NULL);  in hat_mempte_setup()
3941 	ht = htable_getpte(kas.a_hat, ALIGN2PAGE(addr), NULL, NULL, 0);  in hat_mempte_release()
3975 	ht = htable_getpte(kas.a_hat, va, &entry, NULL, 0);  in hat_mempte_remap()
4068 		pte = htable_walk(kas.a_hat, &ht, &vaddr, high);  in clear_boot_mappings()
4385 	hat_devload(kas.a_hat, kpm_vbase + mmu_ptob(base),  in hat_kpm_addmem_mseg_update()