//
// Created by rick on 9/22/19.
//

#ifndef MY_KERNEL_TIMER_H
#define MY_KERNEL_TIMER_H

#include <types.h>

int init_timer(u32 freq);
void print_current_tick();

#endif //MY_KERNEL_TIMER_H