void init_servo_timer() { u16 tmp_period = 0; u16 CCR1_Val = 0;   pulse_num_1ms = 0; pulse_period = (1/((float)pulse_num_1ms)); tmp_period = (u16)(pulse_period * 36000); CCR1_Val = (tmp_period / 2 );   TIM_DeInit(TIM1); ...