Changes in uspace/drv/pciintel/pci.c [be942bc:d93aafed] in mainline

File:

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

uspace/drv/pciintel/pci.c

@@ -323 +323 @@
         if (range_addr != 0) {
                 printf(NAME ": device %s : ", dev->name);
-                printf("address = %" PRIx64, range_addr);
-                printf(", size = %x\n", (unsigned int) range_size);
+                printf("address = %x", range_addr);
+                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 = get_hw_resources(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);
                 ipc_hangup(dev->parent_phone);
-                return rc;
+                return EPARTY;  /* FIXME: use another EC */
         }       
         
-        printf(NAME ": conf_addr = %" PRIx64 ".\n",
+        printf(NAME ": conf_addr = %x.\n",
             hw_resources.resources[0].res.io_range.address);
         
@@ -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");