Index: uspace/drv/pciintel/pci.c
===================================================================
--- uspace/drv/pciintel/pci.c	(revision be942bcc856b2dbd86ad3891336fb7b52bb2b624)
+++ uspace/drv/pciintel/pci.c	(revision ce79069b92de331e039d57e0c8a3d64e644321a5)
@@ -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);
 	}