Searched refs:mapped_red (Results 1 – 1 of 1) sorted by relevance
621 int mapped_red; in pagefault() local629 mapped_red = segkp_map_red(); in pagefault()704 if (mapped_red) in pagefault()