/* Set Timer Output Idle States High. 
This determines the value of the timer output compare when it enters idle state. */
void timer_set_output_idle_state(uint32_t timer_peripheral, uint32_t outputs)
/* Set Timer Output Idle States High. 
This determines the value of the timer output compare when it enters idle state. */
void timer_set_output_idle_state(uint32_t timer_peripheral, uint32_t outputs)
{
	TIM_CR2(timer_peripheral) |= outputs & TIM_CR2_OIS_MASK;
}