kernel/include/timer.h


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

#include <stdint.h>

#define HZ 100
#define PIT_FREQ 1193182

extern volatile const uint64_t *current_tick;

struct regs_t;

void timer_init(uint32_t freq);

void timer_delay(uint64_t ticks);