#ifndef _TICKCOUNTER_H_
#define _TICKCOUNTER_H_

#include <stdint.h>

// This value increments every second
extern volatile uint32_t TICKCOUNT;

// Thread-safe access to TICKCOUNT
// Note: always sets GIE.
extern uint32_t get_ticks();
extern uint16_t get_ticks16();
extern void tickcounter_isr();

#endif