Index: /trunk/src/VBox/Devices/Graphics/DevVGA.cpp
===================================================================
--- /trunk/src/VBox/Devices/Graphics/DevVGA.cpp	(revision 85862)
+++ /trunk/src/VBox/Devices/Graphics/DevVGA.cpp	(revision 85863)
@@ -5532,8 +5532,13 @@
     RT_NOREF(pPciDev, cb);
 
+# ifdef VBOX_WITH_VMSVGA
     AssertReturn(   iRegion == pThis->pciRegions.iVRAM
-                 && (   enmType == PCI_ADDRESS_SPACE_MEM_PREFETCH
-                     || (enmType == PCI_ADDRESS_SPACE_MEM && pThis->fVMSVGAEnabled && pThis->fStateLoaded))
-                 , VERR_INTERNAL_ERROR);
+                 && (    enmType == PCI_ADDRESS_SPACE_MEM_PREFETCH
+                     || (enmType == PCI_ADDRESS_SPACE_MEM && pThis->fVMSVGAEnabled && pThis->fStateLoaded)), VERR_INTERNAL_ERROR);
+# else
+    AssertReturn(   iRegion == pThis->pciRegions.iVRAM
+                 && enmType == PCI_ADDRESS_SPACE_MEM_PREFETCH, VERR_INTERNAL_ERROR);
+# endif
+
     Assert(pPciDev == pDevIns->apPciDevs[0]);
 
@@ -7319,6 +7324,6 @@
      * We currently only access SVGA_FIFO_MIN, SVGA_FIFO_PITCHLOCK, and SVGA_FIFO_BUSY.
      */
+# if defined(VBOX_WITH_VMSVGA) && !defined(IN_RC)
     AssertCompile((RT_MAX(SVGA_FIFO_MIN, RT_MAX(SVGA_FIFO_PITCHLOCK, SVGA_FIFO_BUSY)) + 1) * sizeof(uint32_t) < PAGE_SIZE);
-# if defined(VBOX_WITH_VMSVGA) && !defined(IN_RC)
     if (pThis->fVMSVGAEnabled)
     {