kernel::arch::riscv64::vm

Function is_asid_used

Source 
pub fn is_asid_used(asid: u16) -> bool