| /trunk/kernel/arch/ia64/src/drivers/it.c |
|---|
| 35,7 → 35,6 |
| /** Interval Timer driver. */ |
| #include <arch/drivers/it.h> |
| #include <arch/ski/ski.h> |
| #include <arch/interrupt.h> |
| #include <arch/register.h> |
| #include <arch/asm.h> |
| 116,12 → 115,6 |
| srlz_d(); /* propagate changes */ |
| clock(); |
| /* |
| * This one is a good candidate for moving to a separate |
| * kernel thread private to ski.c |
| */ |
| poll_keyboard(); |
| } |
| /** @} |