Searched refs:KERNEL_REDZONE_SIZE (Results 1 – 2 of 2) sorted by relevance
167 #define KERNEL_REDZONE_SIZE ((uintptr_t)1 << 39) macro266 #define KERNEL_REDZONE_SIZE MAXBSIZE
1196 KERNEL_REDZONE_SIZE)); /* down from top VA */ in startup_memlist()1334 kernelbase = segkpm_base - KERNEL_REDZONE_SIZE; in startup_kmem()1872 segmap_start += KERNEL_REDZONE_SIZE; in layout_kernel_va()1873 segmapsize -= KERNEL_REDZONE_SIZE; in layout_kernel_va()2704 (void) as_setprot(&kas, (caddr_t)kernelbase, KERNEL_REDZONE_SIZE, 0); in kvm_init()