src/include/kernel/timemgr.H


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

#ifndef __KERNEL_TIMEMGR_H
#define __KERNEL_TIMEMGR_H

#include <kernel/types.h>

class TimeManager
{
    public:
	static void init();
	static uint64_t getTimeSliceCount()
	    {
		return iv_timeSlice;
	    };

    protected:
	TimeManager() {};
	~TimeManager() {};

    private:
	void _init();


	static uint64_t iv_timeSlice;
};

#endif