#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 */