/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> |
/trunk/kernel/genarch/src/mm/as_ht.c |
35,12 → 35,12 |
* @brief Address space functions for global page hash table. |
*/ |
|
#include <arch/mm/as.h> |
#include <genarch/mm/as_ht.h> |
#include <genarch/mm/page_ht.h> |
#include <mm/as.h> |
#include <mm/frame.h> |
#include <arch/types.h> |
#include <typedefs.h> |
#include <memstr.h> |
#include <adt/hash_table.h> |
#include <synch/mutex.h> |
/trunk/kernel/genarch/src/mm/asid_fifo.c |
42,7 → 42,6 |
#include <genarch/mm/asid_fifo.h> |
#include <arch/mm/asid.h> |
#include <mm/asid.h> |
#include <typedefs.h> |
#include <adt/fifo.h> |
|
#define FIFO_STATIC_LIMIT 1024 |
/trunk/kernel/genarch/src/mm/as_pt.c |
43,7 → 43,6 |
#include <arch/mm/page.h> |
#include <arch/mm/as.h> |
#include <arch/types.h> |
#include <typedefs.h> |
#include <memstr.h> |
#include <arch.h> |
|
/trunk/kernel/genarch/src/mm/page_ht.c |
43,7 → 43,6 |
#include <mm/as.h> |
#include <arch/mm/asid.h> |
#include <arch/types.h> |
#include <typedefs.h> |
#include <arch/asm.h> |
#include <synch/spinlock.h> |
#include <arch.h> |
/trunk/kernel/genarch/src/acpi/madt.c |
35,7 → 35,6 |
*/ |
|
#include <arch/types.h> |
#include <typedefs.h> |
#include <genarch/acpi/acpi.h> |
#include <genarch/acpi/madt.h> |
#include <arch/smp/apic.h> |