9 lines
163 B
C
9 lines
163 B
C
#ifndef MINIOS_KERN_TIME_H
|
|
#define MINIOS_KERN_TIME_H
|
|
|
|
#include <type.h>
|
|
|
|
void timecounter_inc(void);
|
|
size_t kern_get_ticks(void);
|
|
|
|
#endif /* MINIOS_KERN_TIME_H */ |