Symbol: s2mpg1x_regulator_buck_set_voltage_time