Source/Kernel/DeviceManager/Time.ns.cpp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

#include "Time.ns.h"

namespace Time {

Timer* timer;

void setTimer(Timer* t) {
	timer = t;
}

u32int uptime() {
	return timer->uptime();
}

u32int time() {
	return timer->time();
}

}