Symbol: s2mpg10_regulator_buck_set_voltage_time