Index: uspace/srv/devman/main.c
===================================================================
--- uspace/srv/devman/main.c	(revision 79ae36ddc409577eb0da3750b3a7280e034566a2)
+++ uspace/srv/devman/main.c	(revision e4f8c77d2f0ec68a5943a6b063aaa901dc22d1b4)
@@ -694,5 +694,5 @@
 
 /** Function for handling connections to device manager. */
-static void devman_connection(ipc_callid_t iid, ipc_call_t *icall)
+static void devman_connection(ipc_callid_t iid, ipc_call_t *icall, void *arg)
 {
 	/* Select interface. */
