event_cleanup_answerbox 66 kernel/generic/include/ipc/event.h extern void event_cleanup_answerbox(answerbox_t *); event_cleanup_answerbox 854 kernel/generic/src/ipc/ipc.c event_cleanup_answerbox(&TASK->answerbox);