Symbol: tevii_dvbs_set_voltage