Changeset f9061b4 in mainline for kernel/generic/src/proc/task.c

Timestamp:

2011-05-16T13:38:04Z (13 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

4e1a2f5

Parents:

e0f52bf

Message:

add kernel event notification masking (currently used only for EVENT_KLOG)
improve kernel event notification API

File:

• kernel/generic/src/proc/task.c (modified) (1 diff)

kernel/generic/src/proc/task.c

@@ -534 +534 @@
         */
         if (notify) {
-                if (event_is_subscribed(EVENT_FAULT)) {
-                        /* Notify the subscriber that a fault occurred. */
-                        event_notify_3(EVENT_FAULT, LOWER32(TASK->taskid),
-                            UPPER32(TASK->taskid), (sysarg_t) THREAD);
-                
+                /* Notify the subscriber that a fault occurred. */
+                if (event_notify_3(EVENT_FAULT, false, LOWER32(TASK->taskid),
+                    UPPER32(TASK->taskid), (sysarg_t) THREAD) == EOK) {
 #ifdef CONFIG_UDEBUG
                         /* Wait for a debugging session. */