Index: /trunk/src/VBox/Additions/x11/xgraphics/vboxutils.c
===================================================================
--- /trunk/src/VBox/Additions/x11/xgraphics/vboxutils.c	(revision 12394)
+++ /trunk/src/VBox/Additions/x11/xgraphics/vboxutils.c	(revision 12395)
@@ -359,5 +359,5 @@
     if (pVBox->vmmDevInfo)
     {
-        if (!pci_device_probe(pVBox->vmmDevInfo))
+        if (pci_device_probe(pVBox->vmmDevInfo) != 0)
         {
             xf86DrvMsg (scrnIndex, X_ERROR,
@@ -366,9 +366,14 @@
                         pVBox->vmmDevInfo->device_id);
         }
-        pci_device_map_range(pVBox->vmmDevInfo,
-                             pVBox->vmmDevInfo->regions[1].base_addr,
-                             pVBox->vmmDevInfo->regions[1].size,
-                             PCI_DEV_MAP_FLAG_WRITABLE,
-                             (void **)&pVBox->pVMMDevMemory);
+        else
+        {
+            if (pci_device_map_range(pVBox->vmmDevInfo,
+                                     pVBox->vmmDevInfo->regions[1].base_addr,
+                                     pVBox->vmmDevInfo->regions[1].size,
+                                     PCI_DEV_MAP_FLAG_WRITABLE,
+                                     (void **)&pVBox->pVMMDevMemory) != 0)
+                xf86DrvMsg (scrnIndex, X_ERROR,
+                            "Failed to map VMM device range\n");
+        }
     }
 #else