Symbol: pte_set_val