HelenOS sources

event_notify_1    221 kernel/generic/src/console/console.c 	event_notify_1(EVENT_KCONSOLE, false, true);
event_notify_1    240 kernel/generic/src/console/console.c 	event_notify_1(EVENT_KCONSOLE, false, false);