Symbol: PTE_REF_32