/trunk/kernel/genarch/src/kbd/ns16550.c |
---|
45,6 → 45,7 |
#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,11 → 44,12 |
#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 <ipc/irq.h> |
#include <ddi/irq.h> |
/* Keyboard commands. */ |
#define KBD_ENABLE 0xf4 |
/trunk/kernel/genarch/src/kbd/key.c |
---|
44,6 → 44,7 |
#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,6 → 47,7 |
#include <cpu.h> |
#include <arch/asm.h> |
#include <arch.h> |
#include <typedefs.h> |
#include <console/chardev.h> |
#include <console/console.h> |
#include <interrupt.h> |