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_umalloc.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/src/interface/efi/efi_umalloc.c b/src/interface/efi/efi_umalloc.c
index d7357a1d8..531a1c3a6 100644
--- a/src/interface/efi/efi_umalloc.c
+++ b/src/interface/efi/efi_umalloc.c
@@ -56,7 +56,7 @@ static userptr_t efi_urealloc ( userptr_t old_ptr, size_t new_size ) {
 						   EfiBootServicesData,
 						   new_pages,
 						   &phys_addr ) ) != 0 ) {
-			DBG ( "EFI could not allocate %d pages: %lx\n",
+			DBG ( "EFI could not allocate %d pages: %x\n",
 			      new_pages, efirc );
 			return UNULL;
 		}
@@ -81,7 +81,7 @@ static userptr_t efi_urealloc ( userptr_t old_ptr, size_t new_size ) {
 		old_pages = ( EFI_SIZE_TO_PAGES ( old_size ) + 1 );
 		phys_addr = user_to_phys ( old_ptr, -EFI_PAGE_SIZE );
 		if ( ( efirc = bs->FreePages ( phys_addr, old_pages ) ) != 0 ){
-			DBG ( "EFI could not free %d pages at %llx: %lx\n",
+			DBG ( "EFI could not free %d pages at %llx: %x\n",
 			      old_pages, phys_addr, efirc );
 			/* Not fatal; we have leaked memory but successfully
 			 * allocated (if asked to do so).
-- 
cgit v1.2.3-55-g7522