Index: uspace/drv/ns8250/ns8250.c
===================================================================
--- uspace/drv/ns8250/ns8250.c	(revision b2263e6a6a638f44495be72cf7ebf80ffb3394ab)
+++ uspace/drv/ns8250/ns8250.c	(revision f724e82e9467af62ee9b9a530103c1be3d50e4ef)
@@ -347,5 +347,5 @@
 	
 	/* Get hw resources. */
-	ret = get_hw_resources(dev->parent_phone, &hw_resources);
+	ret = hw_res_get_resource_list(dev->parent_phone, &hw_resources);
 	if (ret != EOK) {
 		printf(NAME ": failed to get hw resources for the device "
@@ -394,10 +394,10 @@
 	}
 	
-	clean_hw_resource_list(&hw_resources);
+	hw_res_clean_resource_list(&hw_resources);
 	return ret;
 	
 failed:
 	ns8250_dev_cleanup(dev);
-	clean_hw_resource_list(&hw_resources);
+	hw_res_clean_resource_list(&hw_resources);
 	return ret;
 }
Index: uspace/drv/pciintel/pci.c
===================================================================
--- uspace/drv/pciintel/pci.c	(revision b2263e6a6a638f44495be72cf7ebf80ffb3394ab)
+++ uspace/drv/pciintel/pci.c	(revision f724e82e9467af62ee9b9a530103c1be3d50e4ef)
@@ -473,5 +473,5 @@
 	hw_resource_list_t hw_resources;
 	
-	rc = get_hw_resources(dev->parent_phone, &hw_resources);
+	rc = hw_res_get_resource_list(dev->parent_phone, &hw_resources);
 	if (rc != EOK) {
 		printf(NAME ": pci_add_device failed to get hw resources for "
@@ -497,5 +497,5 @@
 		delete_pci_bus_data(bus_data);
 		ipc_hangup(dev->parent_phone);
-		clean_hw_resource_list(&hw_resources);
+		hw_res_clean_resource_list(&hw_resources);
 		return EADDRNOTAVAIL;
 	}
@@ -508,5 +508,5 @@
 	pci_bus_scan(dev, 0);
 	
-	clean_hw_resource_list(&hw_resources);
+	hw_res_clean_resource_list(&hw_resources);
 	
 	return EOK;
@@ -537,5 +537,5 @@
 {
 	if (dev_data != NULL) {
-		clean_hw_resource_list(&dev_data->hw_resources);
+		hw_res_clean_resource_list(&dev_data->hw_resources);
 		free(dev_data);
 	}
Index: uspace/lib/c/generic/device/hw_res.c
===================================================================
--- uspace/lib/c/generic/device/hw_res.c	(revision b2263e6a6a638f44495be72cf7ebf80ffb3394ab)
+++ uspace/lib/c/generic/device/hw_res.c	(revision f724e82e9467af62ee9b9a530103c1be3d50e4ef)
@@ -38,10 +38,10 @@
 #include <malloc.h>
 
-int get_hw_resources(int dev_phone, hw_resource_list_t *hw_resources)
+int hw_res_get_resource_list(int dev_phone, hw_resource_list_t *hw_resources)
 {
 	sysarg_t count = 0;
 
 	int rc = async_req_1_1(dev_phone, DEV_IFACE_ID(HW_RES_DEV_IFACE),
-	    GET_RESOURCE_LIST, &count);
+	    HW_RES_GET_RESOURCE_LIST, &count);
 
 	hw_resources->count = count;
@@ -64,8 +64,8 @@
 }
 
-bool enable_interrupt(int dev_phone)
+bool hw_res_enable_interrupt(int dev_phone)
 {
 	int rc = async_req_1_0(dev_phone, DEV_IFACE_ID(HW_RES_DEV_IFACE),
-	    ENABLE_INTERRUPT);
+	    HW_RES_ENABLE_INTERRUPT);
 
 	return rc == EOK;
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