Home
last modified time | relevance | path

Searched refs:page_manager (Results 1 – 2 of 2) sorted by relevance

/DragonOS/kernel/src/mm/
H A Dfault.rs440 let mut page_manager = page_manager_lock_irqsave(); in do_wp_page() localVariable
441 let old_page = page_manager.get_unwrap(&old_paddr); in do_wp_page()
443 drop(page_manager); in do_wp_page()
H A Dpage.rs52 let page_manager = SpinLock::new(PageManager::new()); in page_manager_init() localVariable
55 unsafe { PAGE_MANAGER = Some(page_manager) }; in page_manager_init()