Searched refs:segkp_map_red (Results 1 – 3 of 3) sorted by relevance
144 int segkp_map_red(void);
778 segkp_map_red(void) in segkp_map_red() function
541 mapped_red = segkp_map_red(); in pagefault()