/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> |