Symbol: PTE_TO_PHYS