/* Selects the initial output level. Only used in counter and PWM modes.  */
void timer_output_level(uint32_t timer, enum timer_level level)
/* Selects the initial output level. Only used in counter and PWM modes.  */
void timer_output_level(uint32_t timer, enum timer_level level)
{
	TIMER_OUTPVAL(timer) = level;
}