Changes in kernel/generic/include/ipc/event.h [0496c17:97d42d5] in mainline

File:

• kernel/generic/include/ipc/event.h (modified) (2 diffs)

kernel/generic/include/ipc/event.h

@@ -41 +41 @@
 #include <ipc/ipc.h>
 
+typedef void (*event_callback_t)(void);
+
 /** Event notification structure. */
 typedef struct {
@@ -51 +53 @@
         /** Counter. */
         size_t counter;
+        
         /** Masked flag. */
         bool masked;
         /** Unmask callback. */
-        void (*unmask_cb)(void);
+        event_callback_t unmask_callback;
 } event_t;
 
 extern void event_init(void);
 extern void event_cleanup_answerbox(answerbox_t *);
-extern void event_set_unmask_callback(event_type_t, void (*)(void));
+extern void event_set_unmask_callback(event_type_t, event_callback_t);
 
 #define event_notify_0(e, m) \