Index: /trunk/src/VBox/Devices/Graphics/DevVGA_VBVA.cpp
===================================================================
--- /trunk/src/VBox/Devices/Graphics/DevVGA_VBVA.cpp	(revision 35103)
+++ /trunk/src/VBox/Devices/Graphics/DevVGA_VBVA.cpp	(revision 35104)
@@ -1841,5 +1841,4 @@
             VBVAENABLE *pEnable = (VBVAENABLE *)pvBuffer;
             unsigned uScreenId;
-#ifdef VBOXWDDM_WITH_VBVA
             if (pEnable->u32Flags & VBVA_F_EXTENDED)
             {
@@ -1854,5 +1853,4 @@
             }
             else
-#endif
             {
                 uScreenId = vbvaViewFromOffset (pIns, pCtx, pvBuffer);
@@ -1872,7 +1870,5 @@
                 /* Guest reported offset relative to view. */
                 uint32_t u32Offset = pEnable->u32Offset;
-#ifdef VBOXWDDM_WITH_VBVA
                 if (!(pEnable->u32Flags & VBVA_F_ABSOFFSET))
-#endif
                 {
                     u32Offset += pCtx->aViews[uScreenId].view.u32ViewOffset;