28 lines
428 B
C
28 lines
428 B
C
#ifndef KERNEL_CLOCK_H_
|
|
#define KERNEL_CLOCK_H_
|
|
|
|
#include <stdint.h>
|
|
|
|
#ifdef __cplusplus
|
|
extern "C" {
|
|
#endif
|
|
|
|
|
|
#define HZ (clock_hz())
|
|
|
|
typedef uint64_t clock_ticks_t;
|
|
|
|
extern volatile clock_ticks_t clock_ticks;
|
|
|
|
extern clock_ticks_t clock_hz(void);
|
|
|
|
extern void clock_calibrate(clock_ticks_t hz);
|
|
extern void clock_advance(clock_ticks_t ticks);
|
|
extern void clock_wait(clock_ticks_t ticks);
|
|
|
|
#ifdef __cplusplus
|
|
}
|
|
#endif
|
|
|
|
#endif
|