Skip to main content

vaddr_to_paddr

ostd::specs::arch

Function vaddr_to_paddr 

Source 
pub open spec fn vaddr_to_paddr(va: Vaddr) -> usize
Expand description
recommends
LINEAR_MAPPING_BASE_VADDR <= va < VMALLOC_BASE_VADDR,
{ (va - LINEAR_MAPPING_BASE_VADDR) as usize }

There is not an executable version in the source code.