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

File:

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

uspace/drv/pciintel/pci.c

@@ -323 +323 @@
         if (range_addr != 0) {
                 printf(NAME ": device %s : ", dev->name);
-                printf("address = %x", range_addr);
+                printf("address = %" PRIx64, range_addr);
                 printf(", size = %x\n", range_size);
         }
@@ -479 +479 @@
         }       
         
-        printf(NAME ": conf_addr = %x.\n",
+        printf(NAME ": conf_addr = %" PRIx64 ".\n",
             hw_resources.resources[0].res.io_range.address);
         
@@ -489 +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");