Symbol: PTE_T_LOG2