kernel::arch::riscv64::vm

Function free_virtual_address_space

Source 
pub fn free_virtual_address_space(asid: u16)