Symbol: pmap_pte2pa