Searched defs:cache_page (Results 1 – 1 of 1) sorted by relevance
308 let cache_page = pfm.page.clone().unwrap(); in do_cow_fault() localVariable377 let cache_page = pfm.page.clone().expect("no cache_page in PageFaultMessage"); in do_shared_fault() localVariable698 let cache_page = pfm.page.clone(); in finish_fault() localVariable