98 		ASSERT((hat) != ksfmmup);				\
707 sfmmu_t		*ksfmmup;		/* kernel's hat id */  variable
1474 		ksfmmup = sfmmup;  in hat_alloc()
1533 	if (sfmmup == ksfmmup) {  in hat_alloc()
1919 	ASSERT(sfmmup != ksfmmup);  in hat_free_start()
2132 	ASSERT(hat != ksfmmup);  in hat_dup()
2133 	ASSERT(newhat != ksfmmup);  in hat_dup()
2233 	ASSERT((hat == ksfmmup) || AS_LOCK_HELD(hat->sfmmu_as));  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()
2465 	if ((hat != ksfmmup) && AS_TYPE_64BIT(hat->sfmmu_as) &&  in hat_do_memload_array()
2677 	ASSERT(sfmmup == ksfmmup);  in sfmmu_tteload()
2697 	if (sfmmup == ksfmmup) { /* No support for 32/256M ksfmmu pages */  in sfmmu_mod_tsb()
2787 	if (sfmmup == ksfmmup) {  in sfmmu_unload_tsb_range()
3251 	    sfmmup != ksfmmup) {  in sfmmu_tteload_addentry()
3944 	ASSERT((sfmmup == ksfmmup) || AS_LOCK_HELD(sfmmup->sfmmu_as));  in hat_unlock()
4026 	ASSERT(sfmmup != ksfmmup);  in hat_unlock_region()
4340 		hblktag.htag_id = ksfmmup;  in hat_add_callback()
4344 		hmebp = HME_HASH_FUNCTION(ksfmmup, saddr, hmeshift);  in hat_add_callback()
4549 		hblktag.htag_id = ksfmmup;  in hat_delete_callback()
4553 		hmebp = HME_HASH_FUNCTION(ksfmmup, saddr, hmeshift);  in hat_delete_callback()
4741 	ASSERT((sfmmup == ksfmmup) || AS_LOCK_HELD(sfmmup->sfmmu_as));  in hat_probe()
4743 	if (sfmmup == ksfmmup) {  in hat_probe()
4763 	if (sfmmup == ksfmmup) {  in hat_getpagesize()
4782 	if (sfmmup == ksfmmup) {  in hat_getattr()
4850 	ASSERT((sfmmup == ksfmmup) || AS_LOCK_HELD(sfmmup->sfmmu_as));  in sfmmu_chgattr()
4881 				ASSERT(sfmmup != ksfmmup);  in sfmmu_chgattr()
4905 			if (sfmmup == ksfmmup)  in sfmmu_chgattr()
4967 	check_exec = (sfmmup != ksfmmup) &&  in sfmmu_hblk_chgattr()
5210 				ASSERT(sfmmup != ksfmmup);  in hat_chgprot()
5233 			if (sfmmup == ksfmmup)  in hat_chgprot()
5293 	check_exec = (sfmmup != ksfmmup) &&  in sfmmu_hblk_chgprot()
5586 #define	ISSEGKMAP(sfmmup, addr) (sfmmup == ksfmmup && \
5609 	ASSERT((sfmmup == ksfmmup) || (flags & HAT_UNLOAD_OTHER) || \  in hat_unload_callback()
6223 	ASSERT((sfmmup == ksfmmup) || AS_LOCK_HELD(sfmmup->sfmmu_as));  in hat_sync()
6258 				ASSERT(sfmmup != ksfmmup);  in hat_sync()
6281 			if (sfmmup == ksfmmup)  in hat_sync()
6660 		ASSERT(sfmmup == ksfmmup);  in hat_pagesuspend()
6679 		SFMMU_XCALL_STATS(ksfmmup);  in hat_pagesuspend()
6685 		    (uint64_t)ksfmmup);  in hat_pagesuspend()
6691 		vtag_flushpage(addr, (uint64_t)ksfmmup);  in hat_pagesuspend()
7070 		    hmeblkp->hblk_tag.htag_id == ksfmmup)  in hat_pageunload()
7843 	if (hat == ksfmmup) {  in hat_getpfnum()
7854 		while ((pfn = sfmmu_vatopfn(addr, ksfmmup, &tte))  in hat_getpfnum()
7856 			sfmmu_vatopfn_suspended(addr, ksfmmup, &tte);  in hat_getpfnum()
7896 	ASSERT(sfmmup != ksfmmup);  in sfmmu_uvatopfn()
8697 	ASSERT(sfmmup != ksfmmup);  in hat_unshare()
9613 	ASSERT(sfmmup != ksfmmup);  in sfmmu_get_ctx()
9764 	ASSERT(sfmmup != ksfmmup);  in sfmmu_sync_mmustate()
9830 	ASSERT(sfmmup != ksfmmup);  in sfmmu_replace_tsb()
10091 	if (sfmmup == ksfmmup || sfmmup->sfmmu_ismhat != 0)  in sfmmu_check_page_sizes()
10654 	hmebp = sfmmu_tteload_acquire_hashbucket(ksfmmup, base, TTE8K,  in sfmmu_hblk_swap()
10726 	hblktag.htag_id = ksfmmup;  in sfmmu_hblk_swap()
10807 	if (sfmmup != ksfmmup) {  in sfmmu_hat_enter()
10820 	if (sfmmup != ksfmmup) {  in sfmmu_hat_tryenter()
10855 	ASSERT(sfmmup != ksfmmup);  in sfmmu_hat_lock_held()
11556 	ASSERT(sfmmup != ksfmmup);  in sfmmu_tsb_swapin()
11707 	ASSERT(sfmmup != ksfmmup && ctxtype != KCONTEXT);  in sfmmu_tsbmiss_exception()
12423 	ASSERT(sfmmup != ksfmmup);  in sfmmu_invalidate_ctx()
13006 		tsbmissp->ksfmmup = ksfmmup;  in sfmmu_init_tsbs()
13089 	ASSERT(ksfmmup != NULL);  in sfmmu_init_ktsbinfo()
13090 	ASSERT(ksfmmup->sfmmu_tsb == NULL);  in sfmmu_init_ktsbinfo()
13095 	ktsb_info[0].tsb_sfmmu = ksfmmup;  in sfmmu_init_ktsbinfo()
13104 	ktsb_info[1].tsb_sfmmu = ksfmmup;  in sfmmu_init_ktsbinfo()
13116 	ksfmmup->sfmmu_tsb = &ktsb_info[0];  in sfmmu_init_ktsbinfo()
13118 	sfmmu_setup_tsbinfo(ksfmmup);  in sfmmu_init_ktsbinfo()
13297 	if (hat != ksfmmup) {  in hat_enter()
13308 	if (hat != ksfmmup) {  in hat_exit()
13566 	pgsz_cnum |= (ksfmmup->sfmmu_cext << CTXREG_EXT_SHIFT);  in hat_thread_exit()
13579 	sfmmu_load_mmustate(ksfmmup);  in hat_thread_exit()
13602 	ASSERT(sfmmup != ksfmmup);  in hat_join_srd()
13668 	ASSERT(sfmmup != ksfmmup);  in sfmmu_leave_srd()
13828 	ASSERT(sfmmup != ksfmmup);  in hat_join_region()
14109 	ASSERT(sfmmup != ksfmmup);  in hat_leave_region()
14302 	ASSERT(sfmmup != ksfmmup);  in hat_dup_region()