541 uintptr_t	kernelbase;  variable
1336 	kernelbase = segkpm_base - KERNEL_REDZONE_SIZE;  in startup_kmem()
1353 		kernelbase = eprom_kernelbase & mmu.level_mask[1];  in startup_kmem()
1354 		if (kernelbase > KERNELBASE_MAX)  in startup_kmem()
1355 			kernelbase = KERNELBASE_MAX;  in startup_kmem()
1357 		kernelbase = (uintptr_t)KERNELBASE;  in startup_kmem()
1358 		kernelbase -= ROUND_UP_4MEG(2 * valloc_sz);  in startup_kmem()
1360 	ASSERT((kernelbase & mmu.level_offset[1]) == 0);  in startup_kmem()
1367 	PRM_DEBUG(kernelbase);  in startup_kmem()
1387 	*(uintptr_t *)&_kernelbase = kernelbase;  in startup_kmem()
1388 	*(uintptr_t *)&_userlimit = kernelbase;  in startup_kmem()
1406 	if (kernelheap >= ekernelheap || (uintptr_t)kernelheap < kernelbase)  in startup_kmem()
1454 	if (eprom_kernelbase && (eprom_kernelbase != kernelbase))  in startup_kmem()
1457 		    (uintptr_t)eprom_kernelbase, (uintptr_t)kernelbase);  in startup_kmem()
1461 	if (kernelbase < (uintptr_t)KERNELBASE_ABI_MIN) {  in startup_kmem()
1463 		    "i386 ABI compliant.", (uintptr_t)kernelbase);  in startup_kmem()
1857 	segmap_start = ROUND_UP_LPAGE(kernelbase);  in layout_kernel_va()
1939 	protect_boot_range(0, kernelbase, 1);  in startup_vm()
2001 	toxic_bit_map_len = btop((ulong_t)(valloc_base - kernelbase));  in startup_vm()
2418 	postbootkernelbase = kernelbase;  in release_bootstrap()
2706 	(void) as_setprot(&kas, (caddr_t)kernelbase, KERNEL_REDZONE_SIZE, 0);  in kvm_init()
3204 	ASSERT(v >= kernelbase);  in device_arena_alloc()
3207 	start = btop(v - kernelbase);  in device_arena_alloc()
3208 	end = btop(v + size - 1 - kernelbase);  in device_arena_alloc()
3226 	ASSERT(v >= kernelbase);  in device_arena_free()
3229 	start = btop(v - kernelbase);  in device_arena_free()
3230 	end = btop(v + size - 1 - kernelbase);  in device_arena_free()
3263 	if (v >= valloc_base || eaddr < kernelbase)  in device_arena_contains()
3269 	if (v < kernelbase)  in device_arena_contains()
3270 		v = kernelbase;  in device_arena_contains()
3271 	start = btop(v - kernelbase);  in device_arena_contains()
3272 	end = btop(eaddr - kernelbase);  in device_arena_contains()
3279 	v = kernelbase + ptob(start);  in device_arena_contains()