/* * Time-Keeping helper */ #ifndef _TIMER_H #define _TIMER_H typedef uint64_t time_t; void timerInit(void); time_t timerGet(void); #endif
