2020301918-os/kern/time.c
2022-10-29 19:48:58 +08:00

30 lines
331 B
C

#include <type.h>
#include <kern/syscall.h>
#include <kern/time.h>
static size_t timecounter;
/*
* 时间戳加一
*/
void
timecounter_inc(void)
{
timecounter++;
}
/*
* 获取内核当前的时间戳
*/
size_t
kern_get_ticks(void)
{
return timecounter;
}
ssize_t
do_get_ticks(void)
{
return (ssize_t)kern_get_ticks();
}