/* Set Timer 1 Input to Channel 1. 
The first timer capture input is taken from the timer input channel 1 only. */
void timer_set_ti1_ch1(uint32_t timer_peripheral)
/* Set Timer 1 Input to Channel 1. 
The first timer capture input is taken from the timer input channel 1 only. */
void timer_set_ti1_ch1(uint32_t timer_peripheral)
{
	TIM_CR2(timer_peripheral) &= ~TIM_CR2_TI1S;
}