Symbol: dvbsky_t9580_set_voltage