pci_read_config_dword(dev, reg, &check);
 
        if ((new ^ check) & mask) {
-               pci_err(dev, "BAR %d: error updating (%#08x != %#08x)\n",
+               pci_err(dev, "BAR %d: error updating (%#010x != %#010x)\n",
                        resno, new, check);
        }
 
                pci_write_config_dword(dev, reg + 4, new);
                pci_read_config_dword(dev, reg + 4, &check);
                if (check != new) {
-                       pci_err(dev, "BAR %d: error updating (high %#08x != %#08x)\n",
+                       pci_err(dev, "BAR %d: error updating (high %#010x != %#010x)\n",
                                resno, new, check);
                }
        }