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