From b59e0cc56eb6d5f3b6f934722931f6919309ffd2 Mon Sep 17 00:00:00 2001
From: Michael Brown
Date: Tue, 18 Nov 2008 18:22:56 -0800
Subject: [i386] Change [u]int32_t to [unsigned] int, rather than [unsigned]
 long

This brings us in to line with Linux definitions, and also simplifies
adding x86_64 support since both platforms have 2-byte shorts, 4-byte
ints and 8-byte long longs.
---
 src/interface/efi/efi_pci.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/interface/efi/efi_pci.c')

diff --git a/src/interface/efi/efi_pci.c b/src/interface/efi/efi_pci.c
index 934081654..308a53888 100644
--- a/src/interface/efi/efi_pci.c
+++ b/src/interface/efi/efi_pci.c
@@ -46,7 +46,7 @@ int efipci_read ( struct pci_device *pci, unsigned long location,
 					  efipci_address ( pci, location ), 1,
 					  value ) ) != 0 ) {
 		DBG ( "EFIPCI config read from %02x:%02x.%x offset %02lx "
-		      "failed: %lx\n", pci->bus, PCI_SLOT ( pci->devfn ),
+		      "failed: %x\n", pci->bus, PCI_SLOT ( pci->devfn ),
 		      PCI_FUNC ( pci->devfn ), EFIPCI_OFFSET ( location ),
 		      efirc );
 		return -EIO;
@@ -63,7 +63,7 @@ int efipci_write ( struct pci_device *pci, unsigned long location,
 					   efipci_address ( pci, location ), 1,
 					   &value ) ) != 0 ) {
 		DBG ( "EFIPCI config write to %02x:%02x.%x offset %02lx "
-		      "failed: %lx\n", pci->bus, PCI_SLOT ( pci->devfn ),
+		      "failed: %x\n", pci->bus, PCI_SLOT ( pci->devfn ),
 		      PCI_FUNC ( pci->devfn ), EFIPCI_OFFSET ( location ),
 		      efirc );
 		return -EIO;
-- 
cgit v1.2.3-55-g7522