event_initialize 80 kernel/generic/src/ipc/event.c event_initialize(evno2event(i, NULL)); event_initialize 86 kernel/generic/src/ipc/event.c event_initialize(evno2event(i, task));