path: root/src/kernel/task/timer.h

#ifndef DEF_TIMER_H
#define DEF_TIMER_H

#include <types.h>

void timer_init(uint32_t frequency);
uint32_t timer_time();		//Returns miliseconds (approximate) since computer started
uint32_t timer_uptime();	//Same thing in seconds

#endif