From: Keir Fraser <keir.fraser@citrix.com>
Date: Fri, 27 Jun 2008 16:54:27 +0000 (+0100)
Subject: x86: Fix 32-bit build.
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~14192^2~17
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=92bfffd21633e71bd79c8efdce6baef2a165b30b;p=xen.git

x86: Fix 32-bit build.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
---

diff --git a/xen/drivers/passthrough/vtd/dmar.c b/xen/drivers/passthrough/vtd/dmar.c
index f267a699d8..1a56a4efdf 100644
--- a/xen/drivers/passthrough/vtd/dmar.c
+++ b/xen/drivers/passthrough/vtd/dmar.c
@@ -383,7 +383,8 @@ acpi_parse_one_drhd(struct acpi_dmar_entry_header *header)
     dmaru->address = drhd->address;
     dmaru->include_all = drhd->flags & 1; /* BIT0: INCLUDE_ALL */
     INIT_LIST_HEAD(&dmaru->ioapic_list);
-    dprintk(XENLOG_INFO VTDPREFIX, "dmaru->address = %lx\n", dmaru->address);
+    dprintk(XENLOG_INFO VTDPREFIX, "dmaru->address = %"PRIx64"\n",
+            dmaru->address);
 
     dev_scope_start = (void *)(drhd + 1);
     dev_scope_end   = ((void *)drhd) + header->length;