Index: uspace/drv/hid/atkbd/atkbd.c
===================================================================
--- uspace/drv/hid/atkbd/atkbd.c	(revision a46e56be16ae82f0d007dd26c68b250f3f725ae0)
+++ uspace/drv/hid/atkbd/atkbd.c	(revision cbb37b60574b56acd864c01b9afca6a0ce28867f)
@@ -292,11 +292,12 @@
 /** Default handler for IPC methods not handled by DDF.
  *
- * @param fun     Device function handling the call.
- * @param icall_handle Call id.
- * @param icall   Call data.
- *
- */
-static void default_connection_handler(ddf_fun_t *fun,
-    cap_call_handle_t icall_handle, ipc_call_t *icall)
+ * @param fun           Device function handling the call.
+ * @param icall_handle  Call handle.
+ * @param icall         Call data.
+ *
+ */
+static void
+default_connection_handler(ddf_fun_t *fun, cap_call_handle_t icall_handle,
+    ipc_call_t *icall)
 {
 	const sysarg_t method = IPC_GET_IMETHOD(*icall);
Index: uspace/drv/hid/ps2mouse/ps2mouse.c
===================================================================
--- uspace/drv/hid/ps2mouse/ps2mouse.c	(revision a46e56be16ae82f0d007dd26c68b250f3f725ae0)
+++ uspace/drv/hid/ps2mouse/ps2mouse.c	(revision cbb37b60574b56acd864c01b9afca6a0ce28867f)
@@ -399,10 +399,10 @@
 /** Default handler for IPC methods not handled by DDF.
  *
- * @param fun Device function handling the call.
- * @param icall_handle Call id.
- * @param icall Call data.
- */
-void default_connection_handler(ddf_fun_t *fun,
-    cap_call_handle_t icall_handle, ipc_call_t *icall)
+ * @param fun           Device function handling the call.
+ * @param icall_handle  Call handle.
+ * @param icall         Call data.
+ */
+void default_connection_handler(ddf_fun_t *fun, cap_call_handle_t icall_handle,
+    ipc_call_t *icall)
 {
 	const sysarg_t method = IPC_GET_IMETHOD(*icall);
Index: uspace/drv/hid/usbhid/kbd/kbddev.c
===================================================================
--- uspace/drv/hid/usbhid/kbd/kbddev.c	(revision a46e56be16ae82f0d007dd26c68b250f3f725ae0)
+++ uspace/drv/hid/usbhid/kbd/kbddev.c	(revision cbb37b60574b56acd864c01b9afca6a0ce28867f)
@@ -156,10 +156,11 @@
  * KBDEV_SET_IND sets LED keyboard indicators.
  *
- * @param fun Device function handling the call.
- * @param icall_handle Call id.
- * @param icall Call data.
- */
-static void default_connection_handler(ddf_fun_t *fun,
-    cap_call_handle_t icall_handle, ipc_call_t *icall)
+ * @param fun           Device function handling the call.
+ * @param icall_handle  Call handle.
+ * @param icall         Call data.
+ */
+static void
+default_connection_handler(ddf_fun_t *fun, cap_call_handle_t icall_handle,
+    ipc_call_t *icall)
 {
 	const sysarg_t method = IPC_GET_IMETHOD(*icall);
Index: uspace/drv/hid/usbhid/mouse/mousedev.c
===================================================================
--- uspace/drv/hid/usbhid/mouse/mousedev.c	(revision a46e56be16ae82f0d007dd26c68b250f3f725ae0)
+++ uspace/drv/hid/usbhid/mouse/mousedev.c	(revision cbb37b60574b56acd864c01b9afca6a0ce28867f)
@@ -109,10 +109,11 @@
 /** Default handler for IPC methods not handled by DDF.
  *
- * @param fun Device function handling the call.
- * @param icall_handle Call id.
- * @param icall Call data.
- */
-static void default_connection_handler(ddf_fun_t *fun,
-    cap_call_handle_t icall_handle, ipc_call_t *icall)
+ * @param fun           Device function handling the call.
+ * @param icall_handle  Call handle.
+ * @param icall         Call data.
+ */
+static void
+default_connection_handler(ddf_fun_t *fun, cap_call_handle_t icall_handle,
+    ipc_call_t *icall)
 {
 	usb_mouse_t *mouse_dev = ddf_fun_data_get(fun);
Index: uspace/drv/hid/usbhid/multimedia/multimedia.c
===================================================================
--- uspace/drv/hid/usbhid/multimedia/multimedia.c	(revision a46e56be16ae82f0d007dd26c68b250f3f725ae0)
+++ uspace/drv/hid/usbhid/multimedia/multimedia.c	(revision cbb37b60574b56acd864c01b9afca6a0ce28867f)
@@ -80,10 +80,11 @@
  * later use by the driver to notify about key events.
  *
- * @param fun Device function handling the call.
- * @param icall_handle Call id.
- * @param icall Call data.
- */
-static void default_connection_handler(ddf_fun_t *fun,
-    cap_call_handle_t icall_handle, ipc_call_t *icall)
+ * @param fun           Device function handling the call.
+ * @param icall_handle  Call handle.
+ * @param icall         Call data.
+ */
+static void
+default_connection_handler(ddf_fun_t *fun, cap_call_handle_t icall_handle,
+    ipc_call_t *icall)
 {
 	usb_log_debug(NAME " default_connection_handler()");
Index: uspace/drv/hid/xtkbd/xtkbd.c
===================================================================
--- uspace/drv/hid/xtkbd/xtkbd.c	(revision a46e56be16ae82f0d007dd26c68b250f3f725ae0)
+++ uspace/drv/hid/xtkbd/xtkbd.c	(revision cbb37b60574b56acd864c01b9afca6a0ce28867f)
@@ -328,7 +328,7 @@
 /** Default handler for IPC methods not handled by DDF.
  *
- * @param fun     Device function handling the call.
- * @param icall_handle Call id.
- * @param icall   Call data.
+ * @param fun           Device function handling the call.
+ * @param icall_handle  Call handle.
+ * @param icall         Call data.
  *
  */