HelenOS sources

event_init         64 kernel/generic/include/ipc/event.h extern void event_init(void);
event_init        263 kernel/generic/src/main/main.c 	event_init();