#ifndef TIMER_A1_H
#define TIMER_A1_H
#include <stdint.h>
void TimerA1Init(void (*task)(void), uint16_t period);
void TimerA1Stop(void);
#endif /* TIMER_A1_H */