path: root/kernel/timer.h

#include "lib/int/stdint.h"

void timer_init();
void timer_tick();
uint64_t timer_get_ticks();