Index: uspace/lib/drv/generic/driver.c
===================================================================
--- uspace/lib/drv/generic/driver.c	(revision cde999aca79219e8751af76502001a86d411d176)
+++ uspace/lib/drv/generic/driver.c	(revision 84a1a546f62a2ba0f913f8f1bfce8d4bc68d7aa4)
@@ -978,5 +978,5 @@
 	if (rc != EOK) {
 		printf("Error: Failed to create driver port.\n");
-		return rc;
+		return EXIT_RC(rc);
 	}
 	
@@ -985,5 +985,5 @@
 	if (rc != EOK) {
 		printf("Error: Failed to create devman port.\n");
-		return rc;
+		return EXIT_RC(rc);
 	}
 	
@@ -996,5 +996,5 @@
 		    str_error(rc));
 		
-		return rc;
+		return EXIT_RC(rc);
 	}
 	
@@ -1003,5 +1003,5 @@
 	if (rc != EOK) {
 		printf("Error: Failed returning task value.\n");
-		return rc;
+		return EXIT_RC(rc);
 	}
 	
@@ -1009,5 +1009,5 @@
 	
 	/* Never reached. */
-	return EOK;
+	return 0;
 }