Searched refs:page_manager (Results 1 – 2 of 2) sorted by relevance
440 let mut page_manager = page_manager_lock_irqsave(); in do_wp_page() localVariable441 let old_page = page_manager.get_unwrap(&old_paddr); in do_wp_page()443 drop(page_manager); in do_wp_page()
52 let page_manager = SpinLock::new(PageManager::new()); in page_manager_init() localVariable55 unsafe { PAGE_MANAGER = Some(page_manager) }; in page_manager_init()