Searched refs:KERNEL_REDZONE_SIZE (Results 1 – 2 of 2) sorted by relevance
215 #define KERNEL_REDZONE_SIZE ((uintptr_t)1 << 39) macro
1234 segkpm_base -= P2ROUNDUP(adjustment, KERNEL_REDZONE_SIZE); in startup_memlist()1370 kernelbase = segkpm_base - KERNEL_REDZONE_SIZE; in startup_kmem()2676 (void) as_setprot(&kas, (caddr_t)kernelbase, KERNEL_REDZONE_SIZE, 0); in kvm_init()