Symbol: add_pte_to_prl