Symbol: PMAP_T2PTE_4