#ifndef TIMER_H
#define TIMER_H

#include "../kernel/util.h"

void init_timer(u32 freq);

#endif