#include <stdint.h>

extern const uint64_t *current_tick;

struct regs_t;

void timer_init(void);