Index: uspace/app/devctl/devctl.c
===================================================================
--- uspace/app/devctl/devctl.c	(revision c1694b6b243b360b5f1fbf0629b5e7d4f7f4a515)
+++ uspace/app/devctl/devctl.c	(revision 3b47db687606b55f2694aaa5c4c6db563b5b61eb)
@@ -70,5 +70,5 @@
 }
 
-static int fun_subtree_print(devman_handle_t funh, int lvl)
+static errno_t fun_subtree_print(devman_handle_t funh, int lvl)
 {
 	devman_handle_t devh;
@@ -76,5 +76,5 @@
 	size_t count, i;
 	unsigned int score;
-	int rc;
+	errno_t rc;
 	int j;
 
@@ -136,8 +136,8 @@
 }
 
-static int fun_tree_print(void)
+static errno_t fun_tree_print(void)
 {
 	devman_handle_t root_fun;
-	int rc;
+	errno_t rc;
 
 	rc = devman_fun_get_handle("/", &root_fun, 0);
@@ -154,8 +154,8 @@
 }
 
-static int fun_online(const char *path)
+static errno_t fun_online(const char *path)
 {
 	devman_handle_t funh;
-	int rc;
+	errno_t rc;
 
 	rc = devman_fun_get_handle(path, &funh, 0);
@@ -175,8 +175,8 @@
 }
 
-static int fun_offline(const char *path)
+static errno_t fun_offline(const char *path)
 {
 	devman_handle_t funh;
-	int rc;
+	errno_t rc;
 
 	rc = devman_fun_get_handle(path, &funh, 0);
@@ -197,5 +197,5 @@
 }
 
-static int drv_list(void)
+static errno_t drv_list(void)
 {
 	devman_handle_t *devs;
@@ -207,5 +207,5 @@
 	size_t i;
 	table_t *table = NULL;
-	int rc;
+	errno_t rc;
 
 	rc = devman_get_drivers(&drvs, &ndrvs);
@@ -252,5 +252,5 @@
 }
 
-static int drv_show(char *drvname)
+static errno_t drv_show(char *drvname)
 {
 	devman_handle_t *devs;
@@ -262,5 +262,5 @@
 	size_t ndevs;
 	size_t i;
-	int rc;
+	errno_t rc;
 
 	rc = devman_driver_get_handle(drvname, &drvh);
@@ -317,7 +317,7 @@
 }
 
-static int drv_load(const char *drvname)
-{
-	int rc;
+static errno_t drv_load(const char *drvname)
+{
+	errno_t rc;
 	devman_handle_t drvh;
 
@@ -337,7 +337,7 @@
 }
 
-static int drv_unload(const char *drvname)
-{
-	int rc;
+static errno_t drv_unload(const char *drvname)
+{
+	errno_t rc;
 	devman_handle_t drvh;
 
@@ -371,5 +371,5 @@
 int main(int argc, char *argv[])
 {
-	int rc;
+	errno_t rc;
 
 	if (argc == 1 || argv[1][0] == '-') {
