| /branches/dd/kernel/generic/src/ipc/ipc.c |
|---|
| 44,7 → 44,6 |
| #include <synch/synch.h> |
| #include <ipc/ipc.h> |
| #include <ipc/kbox.h> |
| #include <event/event.h> |
| #include <errno.h> |
| #include <mm/slab.h> |
| #include <arch.h> |
| 52,7 → 51,6 |
| #include <memstr.h> |
| #include <debug.h> |
| #include <print.h> |
| #include <console/console.h> |
| #include <proc/thread.h> |
| 528,9 → 526,6 |
| for (i = 0; i < IPC_MAX_PHONES; i++) |
| ipc_phone_hangup(&TASK->phones[i]); |
| /* Unsubscribe from any event notifications. */ |
| event_cleanup_answerbox(&TASK->answerbox); |
| /* Disconnect all connected irqs */ |
| ipc_irq_cleanup(&TASK->answerbox); |