Changes in kernel/generic/include/ipc/event.h [228e490:98000fb] in mainline

File:

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

kernel/generic/include/ipc/event.h

@@ -37 +37 @@
 
 #include <ipc/event_types.h>
-#include <typedefs.h>
+#include <arch/types.h>
 #include <synch/spinlock.h>
 #include <ipc/ipc.h>
@@ -47 +47 @@
         /** Answerbox for notifications. */
         answerbox_t *answerbox;
-        /** Interface and method to be used for the notification. */
-        sysarg_t imethod;
+        /** Method to be used for the notification. */
+        unative_t method;
         /** Counter. */
         size_t counter;
@@ -54 +54 @@
 
 extern void event_init(void);
-extern sysarg_t sys_event_subscribe(sysarg_t, sysarg_t);
+extern unative_t sys_event_subscribe(unative_t, unative_t);
 extern bool event_is_subscribed(event_type_t);
 extern void event_cleanup_answerbox(answerbox_t *);
@@ -71 +71 @@
         event_notify((e), (a1), (a2), (a3), (a4), (a5))
 
-extern void event_notify(event_type_t, sysarg_t, sysarg_t, sysarg_t,
-    sysarg_t, sysarg_t);
+extern void event_notify(event_type_t, unative_t, unative_t, unative_t,
+    unative_t, unative_t);
 
 #endif