ipc_kbox_cleanup 53 kernel/generic/include/ipc/kbox.h extern void ipc_kbox_cleanup(void); ipc_kbox_cleanup 865 kernel/generic/src/ipc/ipc.c ipc_kbox_cleanup();