Symbol: pmap_pa2pte