#ifndef TIMER_H_
#define TIMER_H_
#include <stdint.h>
#include "tz_arcounter_defs.h"

void reset_timer(uint8_t index, uint8_t* buffer);
uint8_t set_timer(uint32_t input, uint8_t* buffer);
uint8_t check_timer(uint32_t* next_period, uint8_t* buffer);
uint32_t get_timer(uint8_t index, uint8_t* buffer);

#endif