path: root/kernel/timer.h

void timer_init();