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