Symbol: mk_pte_phys