Remove warning (at least on platforms with uint32_t == unsigned long).
[people/xl0/gpxe.git] / src / drivers / bus / pci.c
index 2406b13..c8dbb35 100644 (file)
@@ -64,7 +64,7 @@ static unsigned long pci_bar ( struct pci_device *pci, unsigned int reg ) {
                        if ( sizeof ( unsigned long ) > sizeof ( uint32_t ) ) {
                                return ( ( ( uint64_t ) high << 32 ) | low );
                        } else {
-                               DBG ( "Unhandled 64-bit BAR %08x%08x\n",
+                               DBG ( "Unhandled 64-bit BAR %08lx%08lx\n",
                                      high, low );
                                return PCI_BASE_ADDRESS_MEM_TYPE_64;
                        }