Symbol: KERNEL_REDZONE_SIZE
usr/src/uts/i86pc/os/startup.c
1189
segkpm_base -= P2ROUNDUP(adjustment, KERNEL_REDZONE_SIZE);
usr/src/uts/i86pc/os/startup.c
1324
kernelbase = segkpm_base - KERNEL_REDZONE_SIZE;
usr/src/uts/i86pc/os/startup.c
2633
(void) as_setprot(&kas, (caddr_t)kernelbase, KERNEL_REDZONE_SIZE, 0);