Index: kernel/generic/src/ipc/event.c
===================================================================
--- kernel/generic/src/ipc/event.c	(revision e2ab36f1e7abed06e401610969fa967f43774dd8)
+++ kernel/generic/src/ipc/event.c	(revision 26e7d6da331e8d35b5e83880a9740de5e9e4bd99)
@@ -81,8 +81,8 @@
 }
 
-void event_task_init(task_t *t)
+void event_task_init(task_t *task)
 {
 	for (unsigned int i = EVENT_END; i < EVENT_TASK_END; i++)
-		event_initialize(evno2event(i, t));
+		event_initialize(evno2event(i, task));
 }
 
@@ -130,5 +130,5 @@
 }
 
-void event_task_set_unmask_callback(task_t *t, event_task_type_t evno,
+void event_task_set_unmask_callback(task_t *task, event_task_type_t evno,
     event_callback_t callback)
 {
@@ -136,5 +136,5 @@
 	ASSERT(evno < EVENT_TASK_END);
 		
-	_event_set_unmask_callback(evno2event(evno, t), callback);
+	_event_set_unmask_callback(evno2event(evno, task), callback);
 }
 
@@ -213,5 +213,5 @@
 /** Send per-task kernel notification event
  *
- * @param t    Destination task.
+ * @param task Destination task.
  * @param evno Event type.
  * @param mask Mask further notifications after a successful
@@ -231,11 +231,11 @@
  *
  */
-int event_task_notify(task_t *t, event_task_type_t evno, bool mask, sysarg_t a1,
-    sysarg_t a2, sysarg_t a3, sysarg_t a4, sysarg_t a5)
+int event_task_notify(task_t *task, event_task_type_t evno, bool mask,
+    sysarg_t a1, sysarg_t a2, sysarg_t a3, sysarg_t a4, sysarg_t a5)
 {
 	ASSERT(evno >= (int) EVENT_END);
 	ASSERT(evno < EVENT_TASK_END);
 	
-	return event_enqueue(evno2event(evno, t), mask, a1, a2, a3, a4, a5);
+	return event_enqueue(evno2event(evno, task), mask, a1, a2, a3, a4, a5);
 }