debuggers.hg
changeset 17947:0972fc23b504
x86: Fix 32-bit build after VT-d cleanups.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
author | Keir Fraser <keir.fraser@citrix.com> |
---|---|
date | Sat Jun 28 16:29:00 2008 +0100 (2008-06-28) |
parents | 87e1f23a06f0 |
children | 34bfbedae16b |
files | xen/drivers/passthrough/vtd/utils.c |
line diff
1.1 --- a/xen/drivers/passthrough/vtd/utils.c Fri Jun 27 17:54:27 2008 +0100 1.2 +++ b/xen/drivers/passthrough/vtd/utils.c Sat Jun 28 16:29:00 2008 +0100 1.3 @@ -166,7 +166,7 @@ void print_iommu_regs(struct acpi_drhd_u 1.4 struct iommu *iommu = drhd->iommu; 1.5 1.6 printk("---- print_iommu_regs ----\n"); 1.7 - printk("print_iommu_regs: drhd->address = %lx\n", drhd->address); 1.8 + printk("print_iommu_regs: drhd->address = %"PRIx64"\n", drhd->address); 1.9 printk("print_iommu_regs: DMAR_VER_REG = %x\n", 1.10 dmar_readl(iommu->reg,DMAR_VER_REG)); 1.11 printk("print_iommu_regs: DMAR_CAP_REG = %"PRIx64"\n",