static __attribute__((unused)) void time_init(void)
{
intr_map(APIC_TIMER_IRQ, APIC_TIMER_IRQ);
intr_register(APIC_TIMER_IRQ, pit_handler);
/* TODO: figure out how this argument converts to hertz */
apic_enable_periodic_timer(8);
}
static __attribute__((unused)) void syscall_init(void)
{
intr_register(INTR_SYSCALL, syscall_handler);
}
void
keyboard_init()
{
intr_map(IRQ_KEYBOARD, INTR_KEYBOARD);
intr_register(INTR_KEYBOARD, keyboard_intr_handler);
}