x86: Fix 32-bit build after VT-d cleanups.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/xen/drivers/passthrough/vtd/utils.c b/xen/drivers/passthrough/vtd/utils.c
index f8f61547e82e3f2f85bd16aac3206a3d3082ea5d..37c569494618c15545ae1bc8371f323dd900ed8b 100644 (file)
--- a/xen/drivers/passthrough/vtd/utils.c
+++ b/xen/drivers/passthrough/vtd/utils.c
@@ -166,7 +166,7 @@ void print_iommu_regs(struct acpi_drhd_unit *drhd)
     struct iommu *iommu = drhd->iommu;
 
     printk("---- print_iommu_regs ----\n");
-    printk("print_iommu_regs: drhd->address = %lx\n", drhd->address);
+    printk("print_iommu_regs: drhd->address = %"PRIx64"\n", drhd->address);
     printk("print_iommu_regs: DMAR_VER_REG = %x\n",
            dmar_readl(iommu->reg,DMAR_VER_REG));
     printk("print_iommu_regs: DMAR_CAP_REG = %"PRIx64"\n",