Symbol: pmap_allocpte2