Index: uspace/srv/devman/main.c
===================================================================
--- uspace/srv/devman/main.c	(revision 79ae36ddc409577eb0da3750b3a7280e034566a2)
+++ uspace/srv/devman/main.c	(revision 9934f7d3082d2ffdd107cc0c78d61d504b0f401e)
@@ -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. */