Symbol: L2PTE_TO_PHYS