Symbol: segkp_unmap_red
usr/src/uts/common/vm/seg_kp.h
143
void segkp_unmap_red(void);
usr/src/uts/i86pc/vm/vm_machdep.c
705
segkp_unmap_red();