/*
 * Time-Keeping helper
 */

#ifndef _TIMER_H
#define _TIMER_H

typedef uint64_t time_t;

void timerInit(void);
time_t timerGet(void);

#endif