CeDOS - src/kernel/time.c

src/kernel/time.c (view raw)

1
2
3
4
5
6
7
8
9
10
11
#include "cedos/time.h"

int ticks = 0;

void time_tick(void) {
    ticks++;
}

int time_get_ticks(void) {
    return ticks;
}