Searched defs:page_manager (Results 1 – 2 of 2) sorted by relevance
440 let mut page_manager = page_manager_lock_irqsave(); in do_wp_page() localVariable
52 let page_manager = SpinLock::new(PageManager::new()); in page_manager_init() localVariable