| /branches/sparc/kernel/generic/src/ipc/ipcrsc.c |
|---|
| 128,6 → 128,7 |
| #include <synch/spinlock.h> |
| #include <ipc/ipc.h> |
| #include <arch.h> |
| #include <arch/asm.h> |
| #include <proc/task.h> |
| #include <ipc/ipcrsc.h> |
| #include <debug.h> |
| /branches/sparc/kernel/generic/src/ipc/sysipc.c |
|---|
| 44,6 → 44,7 |
| #include <ipc/ipcrsc.h> |
| #include <ipc/kbox.h> |
| #include <udebug/udebug_ipc.h> |
| #include <arch/asm.h> |
| #include <arch/interrupt.h> |
| #include <syscall/copy.h> |
| #include <security/cap.h> |
| /branches/sparc/kernel/generic/src/ipc/ipc.c |
|---|
| 47,6 → 47,7 |
| #include <errno.h> |
| #include <mm/slab.h> |
| #include <arch.h> |
| #include <arch/asm.h> |
| #include <proc/task.h> |
| #include <memstr.h> |
| #include <debug.h> |
| /branches/sparc/kernel/generic/src/ipc/irq.c |
|---|
| 49,6 → 49,7 |
| */ |
| #include <arch.h> |
| #include <arch/asm.h> |
| #include <mm/slab.h> |
| #include <errno.h> |
| #include <ddi/irq.h> |