HelenOS sources

event_notify_1    193 kernel/generic/src/console/console.c 	event_notify_1(EVENT_KCONSOLE, false, true);
event_notify_1    212 kernel/generic/src/console/console.c 	event_notify_1(EVENT_KCONSOLE, false, false);
event_notify_1    234 kernel/generic/src/console/console.c 		if (event_notify_1(EVENT_KIO, true, kio_written) == EOK)