| /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(); |
| } |