#ifndef __TIMER_H #define __TIMER_H #include "includes.h" #include "stm32f4xx_iwdg.h" #include "stm32f4xx_tim.h" void user_timer_init(void); #endif