paddr_to_vaddr_spec

ostd::mm::kspace

Function paddr_to_vaddr_spec 

Source 
pub open spec fn paddr_to_vaddr_spec(pa: Paddr) -> usize
Expand description
{ (pa + LINEAR_MAPPING_BASE_VADDR()) as usize }

Convert physical address to virtual address using offset, only available inside ostd