540 uintptr_t	kernelbase;  variable
1334 	kernelbase = segkpm_base - KERNEL_REDZONE_SIZE;  in startup_kmem()
1351 		kernelbase = eprom_kernelbase & mmu.level_mask[1];  in startup_kmem()
1352 		if (kernelbase > KERNELBASE_MAX)  in startup_kmem()
1353 			kernelbase = KERNELBASE_MAX;  in startup_kmem()
1355 		kernelbase = (uintptr_t)KERNELBASE;  in startup_kmem()
1356 		kernelbase -= ROUND_UP_4MEG(2 * valloc_sz);  in startup_kmem()
1358 	ASSERT((kernelbase & mmu.level_offset[1]) == 0);  in startup_kmem()
1365 	PRM_DEBUG(kernelbase);  in startup_kmem()
1385 	*(uintptr_t *)&_kernelbase = kernelbase;  in startup_kmem()
1386 	*(uintptr_t *)&_userlimit = kernelbase;  in startup_kmem()
1404 	if (kernelheap >= ekernelheap || (uintptr_t)kernelheap < kernelbase)  in startup_kmem()
1452 	if (eprom_kernelbase && (eprom_kernelbase != kernelbase))  in startup_kmem()
1455 		    (uintptr_t)eprom_kernelbase, (uintptr_t)kernelbase);  in startup_kmem()
1459 	if (kernelbase < (uintptr_t)KERNELBASE_ABI_MIN) {  in startup_kmem()
1461 		    "i386 ABI compliant.", (uintptr_t)kernelbase);  in startup_kmem()
1855 	segmap_start = ROUND_UP_LPAGE(kernelbase);  in layout_kernel_va()
1937 	protect_boot_range(0, kernelbase, 1);  in startup_vm()
1999 	toxic_bit_map_len = btop((ulong_t)(valloc_base - kernelbase));  in startup_vm()
2416 	postbootkernelbase = kernelbase;  in release_bootstrap()
2704 	(void) as_setprot(&kas, (caddr_t)kernelbase, KERNEL_REDZONE_SIZE, 0);  in kvm_init()
3202 	ASSERT(v >= kernelbase);  in device_arena_alloc()
3205 	start = btop(v - kernelbase);  in device_arena_alloc()
3206 	end = btop(v + size - 1 - kernelbase);  in device_arena_alloc()
3224 	ASSERT(v >= kernelbase);  in device_arena_free()
3227 	start = btop(v - kernelbase);  in device_arena_free()
3228 	end = btop(v + size - 1 - kernelbase);  in device_arena_free()
3261 	if (v >= valloc_base || eaddr < kernelbase)  in device_arena_contains()
3267 	if (v < kernelbase)  in device_arena_contains()
3268 		v = kernelbase;  in device_arena_contains()
3269 	start = btop(v - kernelbase);  in device_arena_contains()
3270 	end = btop(eaddr - kernelbase);  in device_arena_contains()
3277 	v = kernelbase + ptob(start);  in device_arena_contains()