Searched refs:mapped_red (Results 1 – 1 of 1) sorted by relevance
533 int mapped_red; in pagefault() local541 mapped_red = segkp_map_red(); in pagefault()616 if (mapped_red) in pagefault()