Index: uspace/srv/devman/main.c
===================================================================
--- uspace/srv/devman/main.c	(revision e2b9b3419fee2bcd7b8c7c52f092a8f64c857124)
+++ uspace/srv/devman/main.c	(revision 224c0e7cdf71623ced2dfae1613f0f4c6f94d45b)
@@ -311,6 +311,7 @@
 	
 	if (fun->ftype == fun_inner) {
-		printf("devman_drv_fun_offline(): %p is inner fun, removing "
-		    "child dev.\n", fun);
+		log_msg(LVL_DEBUG, "Offlining inner function %s.",
+		    fun->pathname);
+		
 		if (fun->child != NULL) {
 			dev_node_t *dev = fun->child;