1467 	sfmmup->sfmmu_as = as;  in hat_alloc()
1918 	ASSERT(AS_WRITE_HELD(sfmmup->sfmmu_as));  in hat_free_start()
1943 		hat_freestat(sfmmup->sfmmu_as, 0);  in hat_free_end()
2181 		hat->sfmmu_clrbin = get_color_start(hat->sfmmu_as);  in hat_dup()
2233 	ASSERT((hat == ksfmmup) || AS_LOCK_HELD(hat->sfmmu_as));  in hat_do_memload()
2240 		hat_resvstat(MMU_PAGESIZE, hat->sfmmu_as, addr);  in hat_do_memload()
2243 	if ((hat != ksfmmup) && AS_TYPE_64BIT(hat->sfmmu_as) &&  in hat_do_memload()
2283 	ASSERT((hat == ksfmmup) || AS_LOCK_HELD(hat->sfmmu_as));  in hat_devload()
2291 	if ((hat != ksfmmup) && AS_TYPE_64BIT(hat->sfmmu_as) &&  in hat_devload()
2323 		hat_resvstat(len, hat->sfmmu_as, addr);  in hat_devload()
2462 		hat_resvstat(len, hat->sfmmu_as, addr);  in hat_do_memload_array()
2465 	if ((hat != ksfmmup) && AS_TYPE_64BIT(hat->sfmmu_as) &&  in hat_do_memload_array()
3944 	ASSERT((sfmmup == ksfmmup) || AS_LOCK_HELD(sfmmup->sfmmu_as));  in hat_unlock()
4741 	ASSERT((sfmmup == ksfmmup) || AS_LOCK_HELD(sfmmup->sfmmu_as));  in hat_probe()
4805 	ASSERT(hat->sfmmu_as != NULL);  in hat_setattr()
4817 	ASSERT(hat->sfmmu_as != NULL);  in hat_chgattr()
4828 	ASSERT(hat->sfmmu_as != NULL);  in hat_clrattr()
4850 	ASSERT((sfmmup == ksfmmup) || AS_LOCK_HELD(sfmmup->sfmmu_as));  in sfmmu_chgattr()
4968 	    AS_TYPE_64BIT(sfmmup->sfmmu_as) &&  in sfmmu_hblk_chgattr()
5180 	ASSERT(sfmmup->sfmmu_as != NULL);  in hat_chgprot()
5294 	    AS_TYPE_64BIT(sfmmup->sfmmu_as) &&  in sfmmu_hblk_chgprot()
5607 	ASSERT(sfmmup->sfmmu_as != NULL);  in hat_unload_callback()
5610 	    AS_LOCK_HELD(sfmmup->sfmmu_as));  in hat_unload_callback()
6223 	ASSERT((sfmmup == ksfmmup) || AS_LOCK_HELD(sfmmup->sfmmu_as));  in hat_sync()
6400 			hat_setstat(sfmmup->sfmmu_as, vaddr, MMU_PAGESIZE, rm);  in sfmmu_ttesync()
8699 	ASSERT(sfmmup->sfmmu_as != NULL);  in hat_unshare()
11903 	(void) as_pagelock(sfmmu->sfmmu_as, &pp, vaddr, TTE_CSZ(ttep), S_WRITE);  in sfmmu_vatopfn_suspended()
11904 	as_pageunlock(sfmmu->sfmmu_as, pp, vaddr, TTE_CSZ(ttep), S_WRITE);  in sfmmu_vatopfn_suspended()
13829 	ASSERT(AS_WRITE_HELD(sfmmup->sfmmu_as));  in hat_join_region()
14132 	ASSERT(AS_LOCK_HELD(sfmmup->sfmmu_as));  in hat_leave_region()
14922 	ASSERT(AS_WRITE_HELD(sfmmup->sfmmu_as));  in sfmmu_join_scd()
15034 	ASSERT(AS_WRITE_HELD(sfmmup->sfmmu_as));  in sfmmu_find_scd()
15140 	ASSERT(AS_LOCK_HELD(sfmmup->sfmmu_as));  in sfmmu_leave_scd()