Symbol: _pmap_allocpte2