kernel::arch::riscv64::vm

Function get_root_page_table_idx

Source 
pub fn get_root_page_table_idx(asid: usize) -> Option<usize>