vtd: Clean up a recent printk message.

Signed-off-by: Keir Fraser <keir@xen.org>

diff --git a/xen/drivers/passthrough/vtd/iommu.c b/xen/drivers/passthrough/vtd/iommu.c
index 3bf4febf96a0f54861f683fb8e7b3760b353c80d..3bf7b9f384644a19a1dda45225597781a876894e 100644 (file)
--- a/xen/drivers/passthrough/vtd/iommu.c
+++ b/xen/drivers/passthrough/vtd/iommu.c
@@ -2053,9 +2053,9 @@ static int init_vtd_hw(void)
     if ( !sharept )
         iommu_hap_pt_share = FALSE;
 
-    gdprintk(XENLOG_INFO VTDPREFIX,
-             "VT-d page table %s with EPT table\n",
-             iommu_hap_pt_share ? "shares" : "not shares");
+    dprintk(XENLOG_INFO VTDPREFIX,
+            "VT-d page table %sshared with EPT table\n",
+            iommu_hap_pt_share ? "" : "not ");
 
     return 0;
 }