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

#ifndef MY_KERNEL_TIMER_H
#define MY_KERNEL_TIMER_H

#include <types.h>

int init_timer(uint32_t freq);

void print_current_tick();

uint32_t timer_get_tick();

void sleep(uint32_t milliseconds);

#endif //MY_KERNEL_TIMER_H