Index: uspace/lib/c/include/device/hw_res.h
===================================================================
--- uspace/lib/c/include/device/hw_res.h	(revision b2263e6a6a638f44495be72cf7ebf80ffb3394ab)
+++ uspace/lib/c/include/device/hw_res.h	(revision f724e82e9467af62ee9b9a530103c1be3d50e4ef)
@@ -41,6 +41,6 @@
 /** HW resource provider interface */
 typedef enum {
-	GET_RESOURCE_LIST = 0,
-	ENABLE_INTERRUPT
+	HW_RES_GET_RESOURCE_LIST = 0,
+	HW_RES_ENABLE_INTERRUPT
 } hw_res_funcs_t;
 
@@ -84,5 +84,5 @@
 } hw_resource_list_t;
 
-static inline void clean_hw_resource_list(hw_resource_list_t *hw_res)
+static inline void hw_res_clean_resource_list(hw_resource_list_t *hw_res)
 {
 	if (hw_res->resources != NULL) {
@@ -95,6 +95,6 @@
 }
 
-extern int get_hw_resources(int, hw_resource_list_t *);
-extern bool enable_interrupt(int);
+extern int hw_res_get_resource_list(int, hw_resource_list_t *);
+extern bool hw_res_enable_interrupt(int);
 
 #endif