include/kernel/timer.h


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

#include "common/types.h"

namespace Timer{
    uint64 get_time();
    void set_next_trigger();
    void init();

    void tick();
    uint64 get_ticks();
    Spinlock *get_lock();
    void *get_tick_chan();
}