HelenOS sources

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();
HelenOS homepage, sources at GitHub