Remove warning (at least on platforms with uint32_t == unsigned long).
authorMichael Brown <mcb30@etherboot.org>
Wed, 20 Dec 2006 00:34:53 +0000 (00:34 +0000)
committerMichael Brown <mcb30@etherboot.org>
Wed, 20 Dec 2006 00:34:53 +0000 (00:34 +0000)
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;
                        }