Changeset 5cde90f in mainline for kernel/generic/include/ipc/event_types.h

Timestamp:

2010-02-19T17:16:46Z (14 years ago)

Author:

Pavel Rimsky <pavel@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

617652f

Parents:

b86d436 (diff), f41aa81 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Synchronizing with head (which has just been synchronized with this branch).

File:

• kernel/generic/include/ipc/event_types.h (modified) (1 diff)

kernel/generic/include/ipc/event_types.h

@@ -37 +37 @@
 
 typedef enum event_type {
+        /** New data available in kernel log */
         EVENT_KLOG = 0,
+        /** Returning from kernel console to userspace */
         EVENT_KCONSOLE,
+        /** A thread has faulted and will be terminated */
+        EVENT_FAULT,
         EVENT_END
 } event_type_t;