Symbol: PTE_PP_32