ipc_cleanup 193 kernel/generic/include/ipc/ipc.h extern void ipc_cleanup(void); ipc_cleanup 445 kernel/generic/src/proc/thread.c ipc_cleanup();