From 92bfffd21633e71bd79c8efdce6baef2a165b30b Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Fri, 27 Jun 2008 17:54:27 +0100 Subject: [PATCH] x86: Fix 32-bit build. Signed-off-by: Keir Fraser --- xen/drivers/passthrough/vtd/dmar.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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; -- 2.30.2