Source/Kernel/DeviceManager/Time.ns.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#ifndef DEF_TIME_NS_H
#define DEF_TIME_NS_H

#include <Devices/Timer.class.h>

namespace Time {
	void setTimer(Timer* t);

	u32int uptime();
	u32int time();
}


#endif