#ifndef __TIMER_H
#define __TIMER_H
#include "interface.h"
#include "stm32f4xx_iwdg.h"
#include "stm32f4xx_tim.h"

void user_timer_init(void);

#endif