536 uintptr_t	kernelbase;  variable
1330 	kernelbase = segkpm_base - KERNEL_REDZONE_SIZE;  in startup_kmem()
1347 		kernelbase = eprom_kernelbase & mmu.level_mask[1];  in startup_kmem()
1348 		if (kernelbase > KERNELBASE_MAX)  in startup_kmem()
1349 			kernelbase = KERNELBASE_MAX;  in startup_kmem()
1351 		kernelbase = (uintptr_t)KERNELBASE;  in startup_kmem()
1352 		kernelbase -= ROUND_UP_4MEG(2 * valloc_sz);  in startup_kmem()
1354 	ASSERT((kernelbase & mmu.level_offset[1]) == 0);  in startup_kmem()
1361 	PRM_DEBUG(kernelbase);  in startup_kmem()
1381 	*(uintptr_t *)&_kernelbase = kernelbase;  in startup_kmem()
1382 	*(uintptr_t *)&_userlimit = kernelbase;  in startup_kmem()
1400 	if (kernelheap >= ekernelheap || (uintptr_t)kernelheap < kernelbase)  in startup_kmem()
1448 	if (eprom_kernelbase && (eprom_kernelbase != kernelbase))  in startup_kmem()
1451 		    (uintptr_t)eprom_kernelbase, (uintptr_t)kernelbase);  in startup_kmem()
1455 	if (kernelbase < (uintptr_t)KERNELBASE_ABI_MIN) {  in startup_kmem()
1457 		    "i386 ABI compliant.", (uintptr_t)kernelbase);  in startup_kmem()
1848 	segmap_start = ROUND_UP_LPAGE(kernelbase);  in layout_kernel_va()
1930 	protect_boot_range(0, kernelbase, 1);  in startup_vm()
1992 	toxic_bit_map_len = btop((ulong_t)(valloc_base - kernelbase));  in startup_vm()
2366 	postbootkernelbase = kernelbase;  in release_bootstrap()
2653 	(void) as_setprot(&kas, (caddr_t)kernelbase, KERNEL_REDZONE_SIZE, 0);  in kvm_init()
3065 	ASSERT(v >= kernelbase);  in device_arena_alloc()
3068 	start = btop(v - kernelbase);  in device_arena_alloc()
3069 	end = btop(v + size - 1 - kernelbase);  in device_arena_alloc()
3087 	ASSERT(v >= kernelbase);  in device_arena_free()
3090 	start = btop(v - kernelbase);  in device_arena_free()
3091 	end = btop(v + size - 1 - kernelbase);  in device_arena_free()
3124 	if (v >= valloc_base || eaddr < kernelbase)  in device_arena_contains()
3130 	if (v < kernelbase)  in device_arena_contains()
3131 		v = kernelbase;  in device_arena_contains()
3132 	start = btop(v - kernelbase);  in device_arena_contains()
3133 	end = btop(eaddr - kernelbase);  in device_arena_contains()
3140 	v = kernelbase + ptob(start);  in device_arena_contains()