Symbol: segkp_map_red
usr/src/uts/common/vm/seg_kp.h
142
int segkp_map_red(void);
usr/src/uts/i86pc/vm/vm_machdep.c
629
mapped_red = segkp_map_red();