| /trunk/kernel/arch/mips32/src/exception.c |
|---|
| 34,6 → 34,7 |
| #include <arch/exception.h> |
| #include <arch/interrupt.h> |
| #include <arch/mm/tlb.h> |
| #include <panic.h> |
| #include <arch/cp0.h> |
| #include <arch/types.h> |
| /trunk/kernel/arch/mips32/src/cache.c |
|---|
| 34,7 → 34,6 |
| #include <arch/cache.h> |
| #include <arch/exception.h> |
| #include <typedefs.h> |
| #include <panic.h> |
| void cache_error(istate_t *istate) |
| /trunk/kernel/arch/mips32/src/cpu/cpu.c |
|---|
| 34,12 → 34,8 |
| #include <arch/cpu.h> |
| #include <cpu.h> |
| #include <arch.h> |
| #include <arch/cp0.h> |
| #include <typedefs.h> |
| #include <print.h> |
| struct data_t { |
| /trunk/kernel/arch/mips32/src/mips32.c |
|---|
| 36,7 → 36,6 |
| #include <arch/boot.h> |
| #include <arch/cp0.h> |
| #include <arch/exception.h> |
| #include <arch/asm.h> |
| #include <mm/as.h> |
| #include <userspace.h> |
| /trunk/kernel/arch/mips32/src/ddi/ddi.c |
|---|
| 35,7 → 35,6 |
| #include <ddi/ddi.h> |
| #include <proc/task.h> |
| #include <arch/types.h> |
| #include <typedefs.h> |
| #include <security/cap.h> |
| #include <arch.h> |
| #include <arch/cp0.h> |
| /trunk/kernel/arch/mips32/src/interrupt.c |
|---|
| 41,7 → 41,6 |
| #include <arch/drivers/arc.h> |
| #include <ipc/sysipc.h> |
| #include <ddi/device.h> |
| #include <ddi/irq.h> |
| #define IRQ_COUNT 8 |
| #define TIMER_IRQ 7 |
| /trunk/kernel/arch/mips32/src/drivers/serial.c |
|---|
| 34,10 → 34,10 |
| #include <interrupt.h> |
| #include <arch/cp0.h> |
| #include <ipc/irq.h> |
| #include <arch/drivers/serial.h> |
| #include <console/chardev.h> |
| #include <console/console.h> |
| #include <ddi/irq.h> |
| #define SERIAL_IRQ 2 |
| /trunk/kernel/arch/mips32/src/drivers/msim.c |
|---|
| 33,11 → 33,11 |
| */ |
| #include <interrupt.h> |
| #include <ipc/irq.h> |
| #include <console/chardev.h> |
| #include <arch/drivers/msim.h> |
| #include <arch/cp0.h> |
| #include <console/console.h> |
| #include <ddi/irq.h> |
| #include <sysinfo/sysinfo.h> |
| /** Address of devices. */ |