Symbol: pte_set_flags