Searched defs:old_page (Results 1 – 2 of 2) sorted by relevance
441 let old_page = page_manager.get_unwrap(&old_paddr); in do_wp_page() localVariable468 let old_page = page_manager_guard.get_unwrap(&old_paddr); in do_wp_page() localVariable491 let old_page = page_manager_guard.get_unwrap(&old_paddr); in do_wp_page() localVariable
637 let old_page = page_manager_guard.get_unwrap(&old_phys); in clone() localVariable