pub exec fn paddr_to_vaddr(pa: Paddr) -> usize
pa + LINEAR_MAPPING_BASE_VADDR < usize::MAX,
paddr_to_vaddr_spec(pa),