| /kernel/trunk/generic/include/ipc/ipc.h |
|---|
| 224,7 → 224,7 |
| extern void ipc_call_static_init(call_t *call); |
| extern void task_print_list(void); |
| extern int ipc_forward(call_t *call, phone_t *newphone, answerbox_t *oldbox); |
| extern void ipc_cleanup(task_t *task); |
| void ipc_cleanup(void); |
| extern int ipc_phone_hangup(phone_t *phone, int aggressive); |
| extern void ipc_backsend_err(phone_t *phone, call_t *call, __native err); |
| extern void ipc_print_task(task_id_t taskid); |