Symbol: clk_register_stm32_timer_ker