Lines Matching refs:kernelbase
530 uintptr_t kernelbase; variable
1370 kernelbase = segkpm_base - KERNEL_REDZONE_SIZE; in startup_kmem()
1376 PRM_DEBUG(kernelbase); in startup_kmem()
1392 *(uintptr_t *)&_kernelbase = kernelbase; in startup_kmem()
1393 *(uintptr_t *)&_userlimit = kernelbase; in startup_kmem()
1396 kpti_kbase = kernelbase; in startup_kmem()
1451 if (kernelbase < (uintptr_t)KERNELBASE_ABI_MIN) { in startup_kmem()
1453 "i386 ABI compliant.", (uintptr_t)kernelbase); in startup_kmem()
1921 protect_boot_range(0, kernelbase, 1); in startup_vm()
2380 postbootkernelbase = kernelbase; in release_bootstrap()
2676 (void) as_setprot(&kas, (caddr_t)kernelbase, KERNEL_REDZONE_SIZE, 0); in kvm_init()