| /trunk/kernel/generic/src/ipc/kbox.c |
|---|
| 42,7 → 42,6 |
| #include <debug.h> |
| #include <udebug/udebug_ipc.h> |
| #include <ipc/kbox.h> |
| #include <print.h> |
| void ipc_kbox_cleanup(void) |
| { |
| /trunk/kernel/generic/src/udebug/udebug.c |
|---|
| 41,7 → 41,6 |
| #include <debug.h> |
| #include <udebug/udebug.h> |
| #include <errno.h> |
| #include <print.h> |
| #include <arch.h> |
| /trunk/kernel/generic/src/udebug/udebug_ops.c |
|---|
| 44,7 → 44,6 |
| #include <proc/thread.h> |
| #include <arch.h> |
| #include <errno.h> |
| #include <print.h> |
| #include <syscall/copy.h> |
| #include <ipc/ipc.h> |
| #include <udebug/udebug.h> |