Index: uspace/srv/devman/driver.h
===================================================================
--- uspace/srv/devman/driver.h	(revision 81685dd947bc65a804dc5adf2cf68f40b4aaa7fc)
+++ uspace/srv/devman/driver.h	(revision e211ea04fccf33d4cb2092f630a29e893e096a02)
@@ -50,10 +50,10 @@
 extern void detach_driver(dev_tree_t *, dev_node_t *);
 extern bool start_driver(driver_t *);
-extern int stop_driver(driver_t *);
+extern errno_t stop_driver(driver_t *);
 extern void add_device(driver_t *, dev_node_t *, dev_tree_t *);
-extern int driver_dev_remove(dev_tree_t *, dev_node_t *);
-extern int driver_dev_gone(dev_tree_t *, dev_node_t *);
-extern int driver_fun_online(dev_tree_t *, fun_node_t *);
-extern int driver_fun_offline(dev_tree_t *, fun_node_t *);
+extern errno_t driver_dev_remove(dev_tree_t *, dev_node_t *);
+extern errno_t driver_dev_gone(dev_tree_t *, dev_node_t *);
+extern errno_t driver_fun_online(dev_tree_t *, fun_node_t *);
+extern errno_t driver_fun_offline(dev_tree_t *, fun_node_t *);
 
 extern driver_t *driver_find(driver_list_t *, devman_handle_t);
@@ -64,6 +64,6 @@
 extern void clean_driver(driver_t *);
 extern void delete_driver(driver_t *);
-extern int driver_get_list(driver_list_t *, devman_handle_t *, size_t, size_t *);
-extern int driver_get_devices(driver_t *, devman_handle_t *, size_t, size_t *);
+extern errno_t driver_get_list(driver_list_t *, devman_handle_t *, size_t, size_t *);
+extern errno_t driver_get_devices(driver_t *, devman_handle_t *, size_t, size_t *);
 
 #endif