Index: kernel/generic/src/ipc/event.c
===================================================================
--- kernel/generic/src/ipc/event.c	(revision bf1fb9f49ca7a033e969484ce601cf42dfbecd12)
+++ kernel/generic/src/ipc/event.c	(revision 8bfe48e81c36cb4f2aef628c058c67d0583b320b)
@@ -65,6 +65,6 @@
 }
 
-static int
-event_subscribe(event_type_t evno, unative_t method, answerbox_t *answerbox)
+static int event_subscribe(event_type_t evno, unative_t method,
+    answerbox_t *answerbox)
 {
 	if (evno >= EVENT_END)
@@ -123,6 +123,5 @@
 }
 
-void
-event_notify(event_type_t evno, unative_t a1, unative_t a2, unative_t a3,
+void event_notify(event_type_t evno, unative_t a1, unative_t a2, unative_t a3,
     unative_t a4, unative_t a5)
 {