Index: /trunk/src/VBox/Devices/Graphics/DevVGA_VBVA.cpp
===================================================================
--- /trunk/src/VBox/Devices/Graphics/DevVGA_VBVA.cpp	(revision 71619)
+++ /trunk/src/VBox/Devices/Graphics/DevVGA_VBVA.cpp	(revision 71620)
@@ -2144,4 +2144,5 @@
         ASSERT_GUEST_MSG_FAILED_RETURN(("Invalid index %#x (value=%u)\n", idxQuery, uValue), VERR_INVALID_PARAMETER);
 
+    RT_NOREF_PV(uValue);
     return VINF_SUCCESS;
 }
@@ -2225,5 +2226,5 @@
                                    && screen.u32StartOffset <= pView->u32ViewSize - (uint32_t)u64ScreenSize,
                                    ("u32StartOffset=%#x u32ViewSize=%#x u64ScreenSize=%#RX64 u32MaxScreenSize=%#x\n",
-                                    screen.u32StartOffset, pView->u32ViewSize, u64ScreenSize),
+                                    screen.u32StartOffset, pView->u32ViewSize, u64ScreenSize, pView->u32MaxScreenSize),
                                    VERR_INVALID_PARAMETER);
     RT_UNTRUSTED_VALIDATED_FENCE();