786 	shift = _userlimit >> mmu.level_shift[mmu.max_level];  in mmu_calc_user_slots()
1654 	uintptr_t	eaddr = _userlimit;  in hat_swapout()
2103 	ASSERT(hat == kas.a_hat || va < _userlimit);  in hat_memload()
2160 	ASSERT(hat == kas.a_hat || va + len <= _userlimit);  in hat_memload_array()
2295 	ASSERT(hat == kas.a_hat || eva <= _userlimit);  in hat_devload()
2395 	ASSERT(hat == kas.a_hat || eaddr <= _userlimit);  in hat_unlock()
2400 	if (eaddr > _userlimit)  in hat_unlock()
2812 	ASSERT(hat == kas.a_hat || va + len <= _userlimit);  in hat_unload()
2876 	ASSERT(hat == kas.a_hat || eaddr <= _userlimit);  in hat_unload_callback()
3000 	ASSERT(hat == kas.a_hat || eaddr <= _userlimit);  in hat_sync()
3082 	ASSERT(hat == kas.a_hat || vaddr <= _userlimit);  in hat_getattr()
3222 	ASSERT(hat == kas.a_hat || (uintptr_t)addr + len <= _userlimit);  in hat_setattr()
3229 	ASSERT(hat == kas.a_hat || (uintptr_t)addr + len <= _userlimit);  in hat_clrattr()
3236 	ASSERT(hat == kas.a_hat || (uintptr_t)addr + len <= _userlimit);  in hat_chgattr()
3243 	ASSERT(hat == kas.a_hat || (uintptr_t)addr + len <= _userlimit);  in hat_chgprot()
3259 	ASSERT(hat == kas.a_hat || vaddr <= _userlimit);  in hat_getpagesize()
3284 	ASSERT(hat == kas.a_hat || vaddr <= _userlimit);  in hat_getpfnum()
3338 	ASSERT(hat == kas.a_hat || vaddr <= _userlimit);  in hat_probe()
3420 	ASSERT(eaddr <= _userlimit);  in hat_share()
3597 	ASSERT(eaddr <= _userlimit);  in hat_unshare()