Index: kernel/generic/include/ipc/event.h
===================================================================
--- kernel/generic/include/ipc/event.h	(revision 0496c1788f5c44ab96b952f38fcc57fc253e00b7)
+++ kernel/generic/include/ipc/event.h	(revision 0dd8c291a013f3ce092e304e4f3bc4dfc5129cc3)
@@ -41,4 +41,6 @@
 #include <ipc/ipc.h>
 
+typedef void (*event_callback_t)(void);
+
 /** Event notification structure. */
 typedef struct {
@@ -51,13 +53,14 @@
 	/** 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) \