Use %02x:%02x.%d rather than %02x:%02x:%02x so PCI addresses
look the same as in other parts of the kernel.
Signed-off-by: Bjorn Helgaas <bjorn.helgaas@hp.com>
Signed-off-by: Jesse Barnes <jbarnes@virtuousgeek.org>
        int j;
        u32 val;
 
-       printk(KERN_INFO "PCI: %02x:%02x:%02x", bus, slot, func);
+       printk(KERN_INFO "pci 0000:%02x:%02x.%d config space:",
+              bus, slot, func);
 
        for (i = 0; i < 256; i += 4) {
                if (!(i & 0x0f))
-                       printk("\n%04x:",i);
+                       printk("\n  %02x:",i);
 
                val = read_pci_config(bus, slot, func, i);
                for (j = 0; j < 4; j++) {
                }
        }
 }
-