Changeset 63048 in vbox for trunk/src

Timestamp:

Aug 5, 2016 3:00:02 PM (9 years ago)

Author:

vboxsync

Message:

GA/NT/Graphics: warnings

Location:

trunk/src/VBox/Additions/WINNT/Graphics/Video/mp

Files:

• common/VBoxMPVidModes.cpp (modified) (3 diffs)
• wddm/VBoxMPWddm.cpp (modified) (79 diffs)

trunk/src/VBox/Additions/WINNT/Graphics/Video/mp/common/VBoxMPVidModes.cpp

@@ -1 +1 @@
 /* $Id$ */
-
 /** @file
  * VBox Miniport video modes related functions
@@ -36 +35 @@
 VBoxMPValidateVideoModeParamsGuest(PVBOXMP_DEVEXT pExt, uint32_t iDisplay, uint32_t xres, uint32_t yres, uint32_t bpp)
 {
+    RT_NOREF(iDisplay, xres, yres);
+
     switch (bpp)
     {
@@ -500 +501 @@
 {
 #ifdef VBOX_XPDM_MINIPORT
+    RT_NOREF(iDisplay);
     return (pExt->CurrentMode == 0);
 #else

trunk/src/VBox/Additions/WINNT/Graphics/Video/mp/wddm/VBoxMPWddm.cpp

@@ -175 +175 @@
 }
 
-DECLINLINE(PVBOXWDDM_ALLOCATION) vboxWddmGetAllocationFromAllocList(PVBOXMP_DEVEXT pDevExt, DXGK_ALLOCATIONLIST *pAllocList)
+DECLINLINE(PVBOXWDDM_ALLOCATION) vboxWddmGetAllocationFromAllocList(DXGK_ALLOCATIONLIST *pAllocList)
 {
     PVBOXWDDM_OPENALLOCATION pOa = (PVBOXWDDM_OPENALLOCATION)pAllocList->hDeviceSpecificAllocation;
@@ -312 +312 @@
 NTSTATUS vboxWddmGhDisplaySetMode(PVBOXMP_DEVEXT pDevExt, const VBOXWDDM_ALLOC_DATA *pAllocData)
 {
+    RT_NOREF(pDevExt);
     VBOXVIDEOOFFSET offVram = vboxWddmAddrFramOffset(&pAllocData->Addr);;
     if (offVram == VBOXVIDEOOFFSET_VOID)
@@ -697 +698 @@
 NTSTATUS vboxWddmPickResources(PVBOXMP_DEVEXT pDevExt, PDXGK_DEVICE_INFO pDeviceInfo, PVBOXWDDM_HWRESOURCES pHwResources)
 {
+    RT_NOREF(pDevExt);
     NTSTATUS Status = STATUS_SUCCESS;
     USHORT DispiId;
@@ -958 +960 @@
     vboxWddmSetupDisplaysLegacy(pDevExt);
     return VBoxCommonFromDeviceExt(pDevExt)->bHGSMI ? STATUS_SUCCESS : STATUS_UNSUCCESSFUL;
-        return STATUS_UNSUCCESSFUL;
 }
 
@@ -1233 +1234 @@
                     if (hKey)
                     {
-                        NTSTATUS tmpStatus = ZwClose(hKey);
-                        Assert(tmpStatus == STATUS_SUCCESS);
+                        NTSTATUS rcNt2 = ZwClose(hKey);
+                        Assert(rcNt2 == STATUS_SUCCESS); NOREF(rcNt2);
                     }
 
@@ -1448 +1449 @@
             VideoRequestPacket->StatusBlock->Information = 0;
     }
+#else
+    RT_NOREF(MiniportDeviceContext, VidPnSourceId, VideoRequestPacket);
 #endif
     LOGF(("LEAVE, context(0x%p), ctl(0x%x)", MiniportDeviceContext, VideoRequestPacket->IoControlCode));
@@ -1460 +1463 @@
     )
 {
+    RT_NOREF(MessageNumber);
 //    LOGF(("ENTER, context(0x%p), msg(0x%x)", MiniportDeviceContext, MessageNumber));
 
@@ -1600 +1604 @@
     )
 {
+    RT_NOREF(MessageNumber);
 //    LOGF(("ENTER, context(0x%p), msg(0x%x)", MiniportDeviceContext, MessageNumber));
 
@@ -1640 +1645 @@
                     VBOXWDDM_HGSMICMD_TYPE enmType = vboxWddmHgsmiGetCmdTypeFromOffset(pDevExt, offCmd);
                     PVBOXVTLIST pList;
-                    PVBOXSHGSMI pHeap = NULL;
+                    PVBOXSHGSMI pHeap;
                     switch (enmType)
                     {
@@ -1655 +1660 @@
                         default:
                             AssertBreakpoint();
+                            pList = NULL;
+                            pHeap = NULL;
+                            break;
                     }
 
@@ -1660 +1668 @@
                     {
                         uint16_t chInfo;
-                        uint8_t *pvCmd = HGSMIBufferDataAndChInfoFromOffset (&pHeap->Heap.area, offCmd, &chInfo);
+                        uint8_t *pvCmd = HGSMIBufferDataAndChInfoFromOffset(&pHeap->Heap.area, offCmd, &chInfo);
                         Assert(pvCmd);
                         if (pvCmd)
@@ -1670 +1678 @@
                                 case VBVA_VDMA_CTL:
                                 {
-                                    int rc = VBoxSHGSMICommandProcessCompletion (pHeap, (VBOXSHGSMIHEADER*)pvCmd, TRUE /*bool bIrq*/ , pList);
+                                    int rc = VBoxSHGSMICommandProcessCompletion(pHeap, (VBOXSHGSMIHEADER*)pvCmd,
+                                                                                TRUE /*bool bIrq*/ , pList);
                                     AssertRC(rc);
                                     break;
@@ -1849 +1858 @@
                 0, /* IN ULONG MessageNumber */
                 &bRet);
-        Assert(Status == STATUS_SUCCESS);
+        Assert(Status == STATUS_SUCCESS); NOREF(Status);
 
     //    if (context.data.bNotifyDpc)
@@ -1892 +1901 @@
             0, /* IN ULONG MessageNumber */
             &bRet);
-    Assert(Status == STATUS_SUCCESS);
+    Assert(Status == STATUS_SUCCESS); NOREF(Status);
 
 //    if (context.data.bNotifyDpc)
@@ -1927 +1936 @@
     )
 {
+    RT_NOREF(ChildRelationsSize);
     /* The DxgkDdiQueryChildRelations function should be made pageable. */
     PAGED_CODE();
@@ -1956 +1966 @@
     )
 {
+    RT_NOREF(NonDestructiveOnly);
     /* The DxgkDdiQueryChildStatus should be made pageable. */
     PAGED_CODE();
@@ -2005 +2016 @@
     )
 {
+    RT_NOREF(MiniportDeviceContext, ChildUid, DeviceDescriptor);
     /* The DxgkDdiQueryDeviceDescriptor should be made pageable. */
     PAGED_CODE();
@@ -2025 +2037 @@
     )
 {
+    RT_NOREF(MiniportDeviceContext, DeviceUid, DevicePowerState, ActionType);
     /* The DxgkDdiSetPowerState function should be made pageable. */
     PAGED_CODE();
@@ -2045 +2058 @@
     )
 {
+    RT_NOREF(MiniportDeviceContext, EventType, Event, Argument, AcpiFlags);
     LOGF(("ENTER, MiniportDeviceContext(0x%x)", MiniportDeviceContext));
 
@@ -2058 +2072 @@
     )
 {
+    RT_NOREF(MiniportDeviceContext);
     /* DxgkDdiResetDevice can be called at any IRQL, so it must be in nonpageable memory.  */
     vboxVDbgBreakF();
@@ -2100 +2115 @@
     )
 {
+    RT_NOREF(MiniportDeviceContext, QueryInterface);
     LOGF(("ENTER, MiniportDeviceContext(0x%x)", MiniportDeviceContext));
 
@@ -2115 +2131 @@
     )
 {
+    RT_NOREF(Enable, Flags, Level);
     LOGF(("ENTER"));
 
@@ -2354 +2371 @@
 PVBOXWDDM_RESOURCE vboxWddmResourceCreate(PVBOXMP_DEVEXT pDevExt, PVBOXWDDM_RCINFO pRcInfo)
 {
+    RT_NOREF(pDevExt);
     PVBOXWDDM_RESOURCE pResource = (PVBOXWDDM_RESOURCE)vboxWddmMemAllocZero(RT_OFFSETOF(VBOXWDDM_RESOURCE, aAllocations[pRcInfo->cAllocInfos]));
     if (!pResource)
@@ -2614 +2632 @@
                             pAllocationInfo->Flags.CpuVisible = 1;
                             break;
+                        default: AssertFailedBreak(); /* Shut up MSC.*/
                     }
 
@@ -2815 +2834 @@
     DXGKARG_DESCRIBEALLOCATION*  pDescribeAllocation)
 {
+    RT_NOREF(hAdapter);
 //    LOGF(("ENTER, hAdapter(0x%x)", hAdapter));
 
@@ -2842 +2862 @@
     DXGKARG_GETSTANDARDALLOCATIONDRIVERDATA*  pGetStandardAllocationDriverData)
 {
+    RT_NOREF(hAdapter);
     /* DxgkDdiGetStandardAllocationDriverData should be made pageable. */
     PAGED_CODE();
@@ -2967 +2988 @@
     DXGKARG_ACQUIRESWIZZLINGRANGE*  pAcquireSwizzlingRange)
 {
+    RT_NOREF(hAdapter, pAcquireSwizzlingRange);
     LOGF(("ENTER, hAdapter(0x%x)", hAdapter));
 
@@ -2982 +3004 @@
     CONST DXGKARG_RELEASESWIZZLINGRANGE*  pReleaseSwizzlingRange)
 {
+    RT_NOREF(hAdapter, pReleaseSwizzlingRange);
     LOGF(("ENTER, hAdapter(0x%x)", hAdapter));
 
@@ -2998 +3021 @@
     CONST DXGKARG_PATCH*  pPatch)
 {
+    RT_NOREF(hAdapter);
     /* DxgkDdiPatch should be made pageable. */
     PAGED_CODE();
@@ -3048 +3072 @@
     CONST DXGKARG_PATCH*  pPatch)
 {
+    RT_NOREF(hAdapter);
     /* DxgkDdiPatch should be made pageable. */
     PAGED_CODE();
@@ -3216 +3241 @@
 DECLCALLBACK(VOID) vboxWddmDmaCompleteChromiumCmd(PVBOXMP_DEVEXT pDevExt, PVBOXVDMADDI_CMD pCmd, PVOID pvContext)
 {
+    RT_NOREF(pCmd);
     PVBOXVDMACBUF_DR pDr = (PVBOXVDMACBUF_DR)pvContext;
-    PVBOXVDMACMD pHdr = VBOXVDMACBUF_DR_TAIL(pDr, VBOXVDMACMD);
-    VBOXVDMACMD_CHROMIUM_CMD *pBody = VBOXVDMACMD_BODY(pHdr, VBOXVDMACMD_CHROMIUM_CMD);
-    UINT cBufs = pBody->cBuffers;
     vboxVdmaCBufDrFree(&pDevExt->u.primary.Vdma, pDr);
 }
@@ -3238 +3261 @@
 
     PVBOXMP_DEVEXT pDevExt = (PVBOXMP_DEVEXT)hAdapter;
-#ifdef DEBUG
+#ifdef VBOX_STRICT
     PVBOXWDDM_CONTEXT pContext = (PVBOXWDDM_CONTEXT)pSubmitCommand->hContext;
     Assert(pContext);
@@ -3459 +3482 @@
             if (VBOXWDDM_IS_FB_ALLOCATION(pDevExt, pDstAlloc))
             {
-                VBOXWDDM_SOURCE *pSource = &pDevExt->aSources[pDstAlloc->AllocData.SurfDesc.VidPnSourceId];
-
                 Assert(pDstAlloc->AllocData.SurfDesc.VidPnSourceId < VBOX_VIDEO_MAX_SCREENS);
 #if 0
+                VBOXWDDM_SOURCE *pSource = &pDevExt->aSources[pDstAlloc->AllocData.SurfDesc.VidPnSourceId];
                 if (VBOXWDDM_IS_FB_ALLOCATION(pDevExt, pDstAlloc) && pDstAlloc->AllocData.hostID)
                 {
@@ -3577 +3599 @@
     CONST DXGKARG_PREEMPTCOMMAND*  pPreemptCommand)
 {
+    RT_NOREF(hAdapter, pPreemptCommand);
     LOGF(("ENTER, hAdapter(0x%x)", hAdapter));
 
@@ -3597 +3620 @@
     DXGKARG_BUILDPAGINGBUFFER*  pBuildPagingBuffer)
 {
+    RT_NOREF(hAdapter);
     /* DxgkDdiBuildPagingBuffer should be made pageable. */
     PAGED_CODE();
@@ -3602 +3626 @@
     vboxVDbgBreakFv();
 
-    PVBOXMP_DEVEXT pDevExt = (PVBOXMP_DEVEXT)hAdapter;
     uint32_t cbBuffer = 0, cbPrivateData = 0;
 
@@ -3997 +4020 @@
             cbCmdDma = VBOXWDDM_DUMMY_DMABUFFER_SIZE;
             Assert(pBuildPagingBuffer->Fill.FillPattern == 0);
-            PVBOXWDDM_ALLOCATION pAlloc = (PVBOXWDDM_ALLOCATION)pBuildPagingBuffer->Fill.hAllocation;
+            /*PVBOXWDDM_ALLOCATION pAlloc = (PVBOXWDDM_ALLOCATION)pBuildPagingBuffer->Fill.hAllocation; - unused. Incomplete code? */
 //            pBuildPagingBuffer->pDmaBuffer = (uint8_t*)pBuildPagingBuffer->pDmaBuffer + VBOXVDMACMD_SIZE(VBOXVDMACMD_DMA_BPB_FILL);
             break;
@@ -4031 +4054 @@
     )
 {
+    RT_NOREF(hAdapter, pSetPalette);
     LOGF(("ENTER, hAdapter(0x%x)", hAdapter));
 
@@ -4311 +4335 @@
     CONST HANDLE  hAdapter)
 {
+    RT_NOREF(hAdapter);
     LOGF(("ENTER, hAdapter(0x%x)", hAdapter));
 
@@ -4431 +4456 @@
                 }
 
-                PVBOXWDDM_CONTEXT pContext = (PVBOXWDDM_CONTEXT)pEscape->hContext;
                 PVBOXDISPIFESCAPE_CRHGSMICTLCON_CALL pCall = (PVBOXDISPIFESCAPE_CRHGSMICTLCON_CALL)pEscapeHdr;
                 if (pEscape->PrivateDriverDataSize >= sizeof (*pCall))
@@ -4494 +4518 @@
             case VBOXESC_SETVISIBLEREGION:
             {
+#ifdef VBOX_DISPIF_WITH_OPCONTEXT
                 PVBOXWDDM_CONTEXT pContext = (PVBOXWDDM_CONTEXT)pEscape->hContext;
-#ifdef VBOX_DISPIF_WITH_OPCONTEXT
                 if (!pContext)
                 {
@@ -4706 +4730 @@
                 if (hKey)
                 {
-                    NTSTATUS tmpStatus = ZwClose(hKey);
-                    Assert(tmpStatus == STATUS_SUCCESS);
+                    NTSTATUS rcNt2 = ZwClose(hKey);
+                    Assert(rcNt2 == STATUS_SUCCESS); NOREF(rcNt2);
                 }
 
@@ -4962 +4986 @@
     )
 {
+    RT_NOREF(hAdapter, pCollectDbgInfo);
     LOGF(("ENTER, hAdapter(0x%x)", hAdapter));
 
@@ -5376 +5401 @@
     )
 {
+    RT_NOREF(hAdapter, pUpdateActiveVidPnPresentPathArg);
     LOGF(("ENTER, hAdapter(0x%x)", hAdapter));
 
@@ -5418 +5444 @@
     )
 {
+    RT_NOREF(hAdapter, pRecommendVidPnTopologyArg);
     LOGF(("ENTER, hAdapter(0x%x)", hAdapter));
 
@@ -5454 +5481 @@
     CONST DXGKARG_STOPCAPTURE*  pStopCapture)
 {
+    RT_NOREF(hAdapter, pStopCapture);
     LOGF(("ENTER, hAdapter(0x%x)", hAdapter));
 
@@ -5704 +5732 @@
     CONST DXGKARG_CLOSEALLOCATION*  pCloseAllocation)
 {
+    RT_NOREF(hDevice);
     /* DxgkDdiCloseAllocation should be made pageable. */
     PAGED_CODE();
@@ -5710 +5739 @@
 
     vboxVDbgBreakFv();
-
-    PVBOXWDDM_DEVICE pDevice = (PVBOXWDDM_DEVICE)hDevice;
-    PVBOXMP_DEVEXT pDevExt = pDevice->pAdapter;
 
     for (UINT i = 0; i < pCloseAllocation->NumAllocations; ++i)
@@ -5735 +5761 @@
     DXGKARG_RENDER  *pRender)
 {
+    RT_NOREF(hContext);
 //    LOGF(("ENTER, hContext(0x%x)", hContext));
     vboxVDbgBreakF();
@@ -5818 +5845 @@
                 VBOXCMDVBVA_CRCMD* pChromiumCmd = (VBOXCMDVBVA_CRCMD*)pRender->pDmaBufferPrivateData;
 
-                PVBOXWDDM_CONTEXT pContext = (PVBOXWDDM_CONTEXT)hContext;
-                PVBOXWDDM_DEVICE pDevice = pContext->pDevice;
-                PVBOXMP_DEVEXT pDevExt = pDevice->pAdapter;
-
                 pChromiumCmd->Hdr.u8OpCode = VBOXCMDVBVA_OPTYPE_CRCMD;
                 pChromiumCmd->Hdr.u8Flags = 0;
@@ -5834 +5857 @@
                     VBOXWDDM_UHGSMI_BUFFER_UI_SUBMIT_INFO SubmUmInfo = *pSubmUmInfo;
                     D3DDDI_PATCHLOCATIONLIST* pPLL = pRender->pPatchLocationListOut;
-                    PVBOXWDDM_ALLOCATION pAlloc = vboxWddmGetAllocationFromAllocList(pDevExt, pAllocationList);
+                    PVBOXWDDM_ALLOCATION pAlloc = vboxWddmGetAllocationFromAllocList(pAllocationList);
                     if (SubmUmInfo.offData >= pAlloc->AllocData.SurfDesc.cbSize
                             || SubmUmInfo.cbData > pAlloc->AllocData.SurfDesc.cbSize
@@ -5931 +5954 @@
     DXGKARG_RENDER  *pRender)
 {
+    RT_NOREF(hContext);
 //    LOGF(("ENTER, hContext(0x%x)", hContext));
 
@@ -6152 +6176 @@
     DXGKARG_PRESENT  *pPresent)
 {
+    RT_NOREF(hContext);
     PAGED_CODE();
 
@@ -6158 +6183 @@
     vboxVDbgBreakFv();
 
+#ifdef VBOX_STRICT
     PVBOXWDDM_CONTEXT pContext = (PVBOXWDDM_CONTEXT)hContext;
     PVBOXWDDM_DEVICE pDevice = pContext->pDevice;
     PVBOXMP_DEVEXT pDevExt = pDevice->pAdapter;
+#endif
     uint32_t cbBuffer = 0;
     uint32_t cbPrivateData = 0;
@@ -6201 +6228 @@
         DXGK_ALLOCATIONLIST *pSrc =  &pPresent->pAllocationList[DXGK_PRESENT_SOURCE_INDEX];
         DXGK_ALLOCATIONLIST *pDst =  &pPresent->pAllocationList[DXGK_PRESENT_DESTINATION_INDEX];
-        PVBOXWDDM_ALLOCATION pSrcAlloc = vboxWddmGetAllocationFromAllocList(pDevExt, pSrc);
+        PVBOXWDDM_ALLOCATION pSrcAlloc = vboxWddmGetAllocationFromAllocList(pSrc);
         if (!pSrcAlloc)
         {
@@ -6209 +6236 @@
         }
 
-        PVBOXWDDM_ALLOCATION pDstAlloc = vboxWddmGetAllocationFromAllocList(pDevExt, pDst);
+        PVBOXWDDM_ALLOCATION pDstAlloc = vboxWddmGetAllocationFromAllocList(pDst);
         if (!pDstAlloc)
         {
@@ -6305 +6332 @@
         Assert(pContext->enmType == VBOXWDDM_CONTEXT_TYPE_CUSTOM_3D);
         DXGK_ALLOCATIONLIST *pSrc =  &pPresent->pAllocationList[DXGK_PRESENT_SOURCE_INDEX];
-        PVBOXWDDM_ALLOCATION pSrcAlloc = vboxWddmGetAllocationFromAllocList(pDevExt, pSrc);
+        PVBOXWDDM_ALLOCATION pSrcAlloc = vboxWddmGetAllocationFromAllocList(pSrc);
 
         if (!pSrcAlloc)
@@ -6348 +6375 @@
         Assert(pPresent->Flags.Value == 2); /* only ColorFill is set, we do not support anything else for now */
         DXGK_ALLOCATIONLIST *pDst =  &pPresent->pAllocationList[DXGK_PRESENT_DESTINATION_INDEX];
-        PVBOXWDDM_ALLOCATION pDstAlloc = vboxWddmGetAllocationFromAllocList(pDevExt, pDst);
+        PVBOXWDDM_ALLOCATION pDstAlloc = vboxWddmGetAllocationFromAllocList(pDst);
         if (!pDstAlloc)
         {
@@ -6471 +6498 @@
     DXGKARG_PRESENT  *pPresent)
 {
+    RT_NOREF(hContext);
     PAGED_CODE();
 
@@ -6478 +6506 @@
 
     NTSTATUS Status = STATUS_SUCCESS;
+#ifdef VBOX_STRICT
     PVBOXWDDM_CONTEXT pContext = (PVBOXWDDM_CONTEXT)hContext;
     PVBOXWDDM_DEVICE pDevice = pContext->pDevice;
     PVBOXMP_DEVEXT pDevExt = pDevice->pAdapter;
+#endif
 
     Assert(pPresent->DmaBufferPrivateDataSize >= sizeof (VBOXWDDM_DMA_PRIVATEDATA_PRESENTHDR));
@@ -6492 +6522 @@
     PVBOXWDDM_DMA_PRIVATEDATA_PRESENTHDR pPrivateData = (PVBOXWDDM_DMA_PRIVATEDATA_PRESENTHDR)pPresent->pDmaBufferPrivateData;
     pPrivateData->BaseHdr.fFlags.Value = 0;
-    uint32_t cContexts2D = ASMAtomicReadU32(&pDevExt->cContexts2D);
+    /*uint32_t cContexts2D = ASMAtomicReadU32(&pDevExt->cContexts2D); - unused */
 
     if (pPresent->Flags.Blt)
@@ -6499 +6529 @@
         DXGK_ALLOCATIONLIST *pSrc =  &pPresent->pAllocationList[DXGK_PRESENT_SOURCE_INDEX];
         DXGK_ALLOCATIONLIST *pDst =  &pPresent->pAllocationList[DXGK_PRESENT_DESTINATION_INDEX];
-        PVBOXWDDM_ALLOCATION pSrcAlloc = vboxWddmGetAllocationFromAllocList(pDevExt, pSrc);
+        PVBOXWDDM_ALLOCATION pSrcAlloc = vboxWddmGetAllocationFromAllocList(pSrc);
         if (!pSrcAlloc)
         {
@@ -6508 +6538 @@
         }
 
-        PVBOXWDDM_ALLOCATION pDstAlloc = vboxWddmGetAllocationFromAllocList(pDevExt, pDst);
+        PVBOXWDDM_ALLOCATION pDstAlloc = vboxWddmGetAllocationFromAllocList(pDst);
         if (!pDstAlloc)
         {
@@ -6571 +6601 @@
         Assert(pContext->enmType == VBOXWDDM_CONTEXT_TYPE_CUSTOM_3D);
         DXGK_ALLOCATIONLIST *pSrc =  &pPresent->pAllocationList[DXGK_PRESENT_SOURCE_INDEX];
-        PVBOXWDDM_ALLOCATION pSrcAlloc = vboxWddmGetAllocationFromAllocList(pDevExt, pSrc);
+        PVBOXWDDM_ALLOCATION pSrcAlloc = vboxWddmGetAllocationFromAllocList(pSrc);
 
         if (!pSrcAlloc)
@@ -6602 +6632 @@
         Assert(pPresent->Flags.Value == 2); /* only ColorFill is set, we do not support anything else for now */
         DXGK_ALLOCATIONLIST *pDst =  &pPresent->pAllocationList[DXGK_PRESENT_DESTINATION_INDEX];
-        PVBOXWDDM_ALLOCATION pDstAlloc = vboxWddmGetAllocationFromAllocList(pDevExt, pDst);
+        PVBOXWDDM_ALLOCATION pDstAlloc = vboxWddmGetAllocationFromAllocList(pDst);
         if (!pDstAlloc)
         {
@@ -6973 +7003 @@
         {
             uint32_t cContexts = ASMAtomicDecU32(&pDevExt->cContexts3D);
-            Assert(cContexts < UINT32_MAX/2);
+            Assert(cContexts < UINT32_MAX/2); NOREF(cContexts);
             break;
         }
@@ -6979 +7009 @@
         {
             uint32_t cContexts = ASMAtomicDecU32(&pDevExt->cContexts2D);
-            Assert(cContexts < UINT32_MAX/2);
+            Assert(cContexts < UINT32_MAX/2); NOREF(cContexts);
             break;
         }
@@ -7048 +7078 @@
     )
 {
+    RT_NOREF(PhysicalDeviceObject, MiniportDeviceContext, LinkedDevice);
     LOGF(("ENTER, MiniportDeviceContext(0x%x)", MiniportDeviceContext));
     vboxVDbgBreakFv();
@@ -7062 +7093 @@
     )
 {
+    RT_NOREF(hAdapter, pSetDisplayPrivateDriverFormat);
     LOGF(("ENTER, hAdapter(0x%x)", hAdapter));
     vboxVDbgBreakFv();
@@ -7071 +7103 @@
 NTSTATUS APIENTRY CALLBACK DxgkDdiRestartFromTimeout(IN_CONST_HANDLE hAdapter)
 {
+    RT_NOREF(hAdapter);
     LOGF(("ENTER, hAdapter(0x%x)", hAdapter));
     vboxVDbgBreakFv();
@@ -7085 +7118 @@
       )
 {
+    RT_NOREF(hAdapter);
     LOGF(("ENTER, hAdapter(0x%x)", hAdapter));
     vboxVDbgBreakF();
@@ -7182 +7216 @@
 )
 {
+    RT_NOREF(MiniportDeviceContext, TargetId, DisplayInfo);
     LOGF(("ENTER, hAdapter(0x%x)", MiniportDeviceContext));
     vboxVDbgBreakFv();
@@ -7198 +7233 @@
       )
 {
+    RT_NOREF(MiniportDeviceContext, TargetId, Flags, Width, Height, ColorFormat);
     LOGF(("ENTER, hAdapter(0x%x)", MiniportDeviceContext));
     vboxVDbgBreakFv();
@@ -7215 +7251 @@
 )
 {
+    RT_NOREF(MiniportDeviceContext, Source, SourceWidth, SourceHeight, SourceStride, PositionX, PositionY);
     LOGF(("ENTER, hAdapter(0x%x)", MiniportDeviceContext));
     vboxVDbgBreakFv();
@@ -7227 +7264 @@
 )
 {
+    RT_NOREF(MiniportDeviceContext, ChildUid, ContainerId);
     LOGF(("ENTER, hAdapter(0x%x)", MiniportDeviceContext));
     vboxVDbgBreakFv();
@@ -7240 +7278 @@
 )
 {
+    RT_NOREF(DriverContext, ComponentIndex, FState);
     LOGF(("ENTER, DriverContext(0x%x)", DriverContext));
     vboxVDbgBreakFv();
@@ -7257 +7296 @@
 )
 {
+    RT_NOREF(DriverContext, PowerControlCode, InBuffer, InBufferSize, OutBuffer, OutBufferSize, BytesReturned);
     LOGF(("ENTER, DriverContext(0x%x)", DriverContext));
     vboxVDbgBreakFv();
@@ -7269 +7309 @@
       )
 {
+    RT_NOREF(MiniportDeviceContext, RemovalType);
     LOGF(("ENTER, hAdapter(0x%x)", MiniportDeviceContext));
     vboxVDbgBreakFv();
@@ -7468 +7509 @@
 
     ULONG major, minor, build;
-    BOOLEAN checkedBuild = PsGetVersion(&major, &minor, &build, NULL);
+    BOOLEAN fCheckedBuild = PsGetVersion(&major, &minor, &build, NULL); NOREF(fCheckedBuild);
     BOOLEAN f3DRequired = FALSE;