Index: /trunk/src/VBox/HostDrivers/VBoxPci/linux/VBoxPci-linux.c
===================================================================
--- /trunk/src/VBox/HostDrivers/VBoxPci/linux/VBoxPci-linux.c	(revision 37867)
+++ /trunk/src/VBox/HostDrivers/VBoxPci/linux/VBoxPci-linux.c	(revision 37868)
@@ -146,5 +146,5 @@
         printk(KERN_INFO "vboxpci: IOMMU found\n");
     else
-        printk(KERN_INFO "vboxpci: IOMMU not found (checked)\n");
+        printk(KERN_INFO "vboxpci: IOMMU not found (not registered)\n");
 #else
     printk(KERN_INFO "vboxpci: IOMMU not found (not compiled)\n");
@@ -977,5 +977,7 @@
 int  vboxPciOsInitVm(PVBOXRAWPCIDRVVM pThis, PVM pVM, PRAWPCIPERVM pVmData)
 {
+#ifdef DEBUG
     printk(KERN_DEBUG "vboxPciOsInitVm: %p\n", pThis);
+#endif
 #ifdef VBOX_WITH_IOMMU
     if (iommu_found())
@@ -998,5 +1000,7 @@
 void vboxPciOsDeinitVm(PVBOXRAWPCIDRVVM pThis, PVM pVM)
 {
+#ifdef DEBUG
     printk(KERN_DEBUG "vboxPciOsDeinitVm: %p\n", pThis);
+#endif
 #ifdef VBOX_WITH_IOMMU
     if (pThis->pIommuDomain)