//
// 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);

#endif //MY_KERNEL_TIMER_H