Index: uspace/srv/devman/devman.c
===================================================================
--- uspace/srv/devman/devman.c	(revision 5bee89701dfeeaf6af54574b17587ff273a9d444)
+++ uspace/srv/devman/devman.c	(revision 703d19c8d62d968e9d876fba84d87563a7a18da4)
@@ -516,5 +516,5 @@
 	int phone;
 
-	printf(NAME ": pass_devices_to_driver\n");
+	printf(NAME ": pass_devices_to_driver(`%s')\n", driver->name);
 
 	fibril_mutex_lock(&driver->driver_mutex);
@@ -586,5 +586,5 @@
 void initialize_running_driver(driver_t *driver, dev_tree_t *tree)
 {
-	printf(NAME ": initialize_running_driver\n");
+	printf(NAME ": initialize_running_driver (`%s')\n", driver->name);
 	
 	/*