HelenOS sources

EVENT_FAULT       591 kernel/generic/src/proc/task.c 		if (event_notify_3(EVENT_FAULT, false, LOWER32(TASK->taskid),
EVENT_FAULT       147 uspace/srv/taskmon/taskmon.c 	if (async_event_subscribe(EVENT_FAULT, fault_event, NULL) != EOK) {