Symbol: pmap_kenter_pa4m