HelenOS sources

event_enqueue     212 kernel/generic/src/ipc/event.c 	return event_enqueue(evno2event(evno, NULL), mask, a1, a2, a3, a4, a5);
event_enqueue     241 kernel/generic/src/ipc/event.c 	return event_enqueue(evno2event(evno, task), mask, a1, a2, a3, a4, a5);