Index: /trunk/src/VBox/HostDrivers/VBoxPci/linux/VBoxPci-linux.c
===================================================================
--- /trunk/src/VBox/HostDrivers/VBoxPci/linux/VBoxPci-linux.c	(revision 50796)
+++ /trunk/src/VBox/HostDrivers/VBoxPci/linux/VBoxPci-linux.c	(revision 50797)
@@ -293,5 +293,6 @@
         if (pci_reset_function(pIns->pPciDev))
         {
-            printk(KERN_DEBUG "vboxpci: pci_reset_function() failed\n");
+            vbpci_printk(KERN_DEBUG, pIns->pPciDev,
+                         "pci_reset_function() failed\n");
             rc = VERR_INTERNAL_ERROR;
         }
@@ -539,5 +540,6 @@
         uint8_t            uDevFn = (pIns->HostPciAddress) & 0xff;
 
-        printk(KERN_DEBUG "vboxpci: reattaching old host driver %s\n", pIns->szPrevDriver);
+        vbpci_printk(KERN_DEBUG, pPciDev,
+                     "reattaching old host driver %s\n", pIns->szPrevDriver);
         /*
          * Now perform kernel analog of:
@@ -767,5 +769,6 @@
     int              error;
 
-    printk(KERN_DEBUG "linux vboxPciOsDevMapRegion: reg=%d start=%llx size=%lld\n", iRegion, RegionStart, u64RegionSize);
+    vbpci_printk(KERN_DEBUG, pPciDev, "reg=%d start=%llx size=%lld\n",
+                 iRegion, RegionStart, u64RegionSize);
 
     if (!pPciDev)
@@ -774,5 +777,5 @@
     if (iRegion < 0 || iRegion > 6)
     {
-        printk(KERN_DEBUG "vboxPciOsDevMapRegion: invalid region: %d\n", iRegion);
+        vbpci_printk(KERN_DEBUG, pPciDev, "invalid region %d\n", iRegion);
         return VERR_INVALID_PARAMETER;
     }
@@ -808,5 +811,5 @@
     if (!result)
     {
-        printk(KERN_DEBUG "cannot ioremap_nocache\n");
+        vbpci_printk(KERN_DEBUG, pPciDev, "ioremap_nocache() failed\n");
         pci_release_region(pPciDev, iRegion);
         return VERR_MAP_FAILED;