/kernel/trunk/arch/ia64/src/drivers/it.c |
---|
29,6 → 29,7 |
/** Interval Timer driver. */ |
#include <arch/drivers/it.h> |
#include <arch/drivers/keyboard.h> |
#include <arch/interrupt.h> |
#include <arch/register.h> |
#include <arch/asm.h> |
35,7 → 36,6 |
#include <arch/barrier.h> |
#include <time/clock.h> |
void keyboard(void); |
/** Initialize Interval Timer. */ |
void it_init(void) |
65,5 → 65,5 |
itm_write(itc_read() + IT_DELTA); /* program next interruption */ |
srlz_d(); /* propagate changes */ |
clock(); |
keyboard(); |
poll_keyboard(); |
} |