TIM4_K
STM32_TIM(TIM4_K, "tim4_k", "ck1_tim", RCC_APB1ENSETR, 2),
STM32_GATE_CFG(TIM4_K, tim4_k, SECF_NONE),