| /trunk/kernel/genarch/src/kbd/ns16550.c |
|---|
| 45,7 → 45,6 |
| #include <cpu.h> |
| #include <arch/asm.h> |
| #include <arch.h> |
| #include <typedefs.h> |
| #include <console/chardev.h> |
| #include <console/console.h> |
| #include <interrupt.h> |
| /trunk/kernel/genarch/src/kbd/i8042.c |
|---|
| 44,12 → 44,11 |
| #include <cpu.h> |
| #include <arch/asm.h> |
| #include <arch.h> |
| #include <typedefs.h> |
| #include <console/chardev.h> |
| #include <console/console.h> |
| #include <interrupt.h> |
| #include <sysinfo/sysinfo.h> |
| #include <ddi/irq.h> |
| #include <ipc/irq.h> |
| /* Keyboard commands. */ |
| #define KBD_ENABLE 0xf4 |
| /trunk/kernel/genarch/src/kbd/key.c |
|---|
| 44,7 → 44,6 |
| #endif |
| #include <synch/spinlock.h> |
| #include <console/chardev.h> |
| #include <typedefs.h> |
| #include <macros.h> |
| #define PRESSED_SHIFT (1<<0) |
| /trunk/kernel/genarch/src/kbd/z8530.c |
|---|
| 47,7 → 47,6 |
| #include <cpu.h> |
| #include <arch/asm.h> |
| #include <arch.h> |
| #include <typedefs.h> |
| #include <console/chardev.h> |
| #include <console/console.h> |
| #include <interrupt.h> |