Convert duty to pulse time

float frequency = 25000;

TM_PWM_InitTimer(TIM2, &TIM2_Data, frequency);

TM_PWM_InitChannel(&TIM2_Data, TM_PWM_Channel_1, TM_PWM_PinsPack_1);

double duty = 50.0;
int pulseHigh = (1.0/frequency)*(duty/100.0)*1000000.0;
TM_PWM_SetChannelMicros(&TIM2_Data, TM_PWM_Channel_1, pulsehigh);