From: Keir Fraser <keir@xen.org>
Date: Tue, 28 Jun 2011 13:45:36 +0000 (+0100)
Subject: x86_32: Fix buil dafter EFI MPS patch.
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~10098
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=98883d0bb77a84111d2f5a52b3e5870d9e7054a0;p=xen.git

x86_32: Fix buil dafter EFI MPS patch.

Signed-off-by: Keir Fraser <keir@xen.org>
---

diff --git a/xen/arch/x86/mpparse.c b/xen/arch/x86/mpparse.c
index e8720fd1f3..7c93ff96db 100644
--- a/xen/arch/x86/mpparse.c
+++ b/xen/arch/x86/mpparse.c
@@ -666,7 +666,7 @@ static void __init efi_check_config(void)
 	    mpf_checksum((void *)mpf, 16) &&
 	    (mpf->mpf_specification == 1 || mpf->mpf_specification == 4)) {
 		smp_found_config = 1;
-		printk(KERN_INFO "SMP MP-table at %08"PRIx64"\n", efi.mps);
+		printk(KERN_INFO "SMP MP-table at %08lx\n", efi.mps);
 		mpf_found = mpf;
 	}
 	else