diff options
| -rw-r--r-- | xen/drivers/passthrough/vtd/iommu.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/xen/drivers/passthrough/vtd/iommu.c b/xen/drivers/passthrough/vtd/iommu.c index e1faacba82..c218ec3af8 100644 --- a/xen/drivers/passthrough/vtd/iommu.c +++ b/xen/drivers/passthrough/vtd/iommu.c @@ -2164,7 +2164,8 @@ int __init intel_vtd_setup(void) { iommu = drhd->iommu; - printk("Intel VT-d supported page sizes: 4kB"); + printk("Intel VT-d iommu %"PRIu32" supported page sizes: 4kB", + iommu->index); if (cap_sps_2mb(iommu->cap)) printk(", 2MB"); |