Index: uspace/app/devctl/devctl.c
===================================================================
--- uspace/app/devctl/devctl.c	(revision 81685dd947bc65a804dc5adf2cf68f40b4aaa7fc)
+++ uspace/app/devctl/devctl.c	(revision facacc712e3d87d7301754b109c9582ef1ef29e4)
@@ -324,5 +324,5 @@
 	rc = devman_driver_get_handle(drvname, &drvh);
 	if (rc != EOK) {
-		printf("Failed resolving driver '%s' (%d).\n", drvname, rc);
+		printf("Failed resolving driver '%s': %s.\n", drvname, str_error(rc));
 		return rc;
 	}
@@ -330,5 +330,5 @@
 	rc = devman_driver_load(drvh);
 	if (rc != EOK) {
-		printf("Failed loading driver '%s' (%d).\n", drvname, rc);
+		printf("Failed loading driver '%s': %s.\n", drvname, str_error(rc));
 		return rc;
 	}
@@ -344,5 +344,5 @@
 	rc = devman_driver_get_handle(drvname, &drvh);
 	if (rc != EOK) {
-		printf("Failed resolving driver '%s' (%d).\n", drvname, rc);
+		printf("Failed resolving driver '%s': %s.\n", drvname, str_error(rc));
 		return rc;
 	}
@@ -350,5 +350,5 @@
 	rc = devman_driver_unload(drvh);
 	if (rc != EOK) {
-		printf("Failed unloading driver '%s' (%d).\n", drvname, rc);
+		printf("Failed unloading driver '%s': %s.\n", drvname, str_error(rc));
 		return rc;
 	}