Symbol: L1PTE_TO_PHYS