HelenOS sources

ipc_init          176 kernel/generic/include/ipc/ipc.h extern void ipc_init(void);
ipc_init          262 kernel/generic/src/main/main.c 	ipc_init();
HelenOS homepage, sources at GitHub