kernel/drivers/pit.h


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

#ifndef PIT_H
#define PIT_H
#include <cpu/idt.h>
#include <cpu/io.h>
#include <sched/scheduler.h>
#include <typedefs.h>
#include <stdio.h>

void pit_install(void);
void set_pit_count(u16 hertz);
u64 pit_num_ms(void);
#endif