kernel/include/timer.h


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

#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);

/* NOTE: enables interrupts by default */
void timer_delay(uint64_t ticks);