Changes in uspace/drv/pciintel/pci.c [ffa2c8ef:7e752b2] in mainline

File:

• uspace/drv/pciintel/pci.c (modified) (9 diffs)

uspace/drv/pciintel/pci.c

@@ -49 +49 @@
 #include <ipc/devman.h>
 #include <ipc/dev_iface.h>
-#include <ops/hw_res.h>
+#include <resource.h>
 #include <device/hw_res.h>
 #include <ddi.h>
@@ -77 +77 @@
 }
 
-static hw_res_ops_t pciintel_child_hw_res_ops = {
+static resource_iface_t pciintel_child_res_iface = {
         &pciintel_get_child_resources,
         &pciintel_enable_child_interrupt
@@ -324 +324 @@
                 printf(NAME ": device %s : ", dev->name);
                 printf("address = %" PRIx64, range_addr);
-                printf(", size = %x\n", (unsigned int) range_size);
+                printf(", size = %x\n", range_size);
         }
         
@@ -452 +452 @@
 static int pci_add_device(device_t *dev)
 {
-        int rc;
-
         printf(NAME ": pci_add_device\n");
         
@@ -468 +466 @@
                     "parent's driver.\n");
                 delete_pci_bus_data(bus_data);
-                return dev->parent_phone;
+                return EPARTY;  /* FIXME: use another EC */
         }
         
         hw_resource_list_t hw_resources;
         
-        rc = hw_res_get_resource_list(dev->parent_phone, &hw_resources);
-        if (rc != EOK) {
+        if (!get_hw_resources(dev->parent_phone, &hw_resources)) {
                 printf(NAME ": pci_add_device failed to get hw resources for "
                     "the device.\n");
                 delete_pci_bus_data(bus_data);
-                async_hangup(dev->parent_phone);
-                return rc;
+                ipc_hangup(dev->parent_phone);
+                return EPARTY;  /* FIXME: use another EC */
         }       
         
@@ -492 +489 @@
             (uint32_t) hw_resources.resources[0].res.io_range.address;
         
-        if (pio_enable((void *)(uintptr_t)bus_data->conf_io_addr, 8,
+        if (pio_enable((void *)bus_data->conf_io_addr, 8,
             &bus_data->conf_addr_port)) {
                 printf(NAME ": failed to enable configuration ports.\n");
                 delete_pci_bus_data(bus_data);
-                async_hangup(dev->parent_phone);
-                hw_res_clean_resource_list(&hw_resources);
+                ipc_hangup(dev->parent_phone);
+                clean_hw_resource_list(&hw_resources);
                 return EADDRNOTAVAIL;
         }
@@ -508 +505 @@
         pci_bus_scan(dev, 0);
         
-        hw_res_clean_resource_list(&hw_resources);
+        clean_hw_resource_list(&hw_resources);
         
         return EOK;
@@ -515 +512 @@
 static void pciintel_init(void)
 {
-        pci_child_ops.interfaces[HW_RES_DEV_IFACE] = &pciintel_child_hw_res_ops;
+        pci_child_ops.interfaces[HW_RES_DEV_IFACE] = &pciintel_child_res_iface;
 }
 
@@ -537 +534 @@
 {
         if (dev_data != NULL) {
-                hw_res_clean_resource_list(&dev_data->hw_resources);
+                clean_hw_resource_list(&dev_data->hw_resources);
                 free(dev_data);
         }