Changeset 108430 in vbox for trunk/src/VBox/VMM/VMMAll/GICAll.cpp

Timestamp:

Mar 4, 2025 8:42:26 AM (7 weeks ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

167804

Message:

VMM/GIC: bugref:10404 Build fixes.

File:

• trunk/src/VBox/VMM/VMMAll/GICAll.cpp (modified) (9 diffs)

trunk/src/VBox/VMM/VMMAll/GICAll.cpp

@@ -1161 +1161 @@
 {
     /* When affinity routing is disabled, reads return 0. */
-    Assert(pGicDev->fAffRoutingEnabled);
+    Assert(pGicDev->fAffRoutingEnabled); RT_NOREF(pGicDev);
     uint16_t const idxPriority = idxReg * sizeof(uint32_t);
     AssertReturn(idxPriority < RT_ELEMENTS(pGicCpu->abIntrPriority) - sizeof(uint32_t), VERR_BUFFER_OVERFLOW);
@@ -1183 +1183 @@
 {
     /* When affinity routing is disabled, writes are ignored. */
-    Assert(pGicDev->fAffRoutingEnabled);
+    Assert(pGicDev->fAffRoutingEnabled); RT_NOREF(pGicDev);
     PGICCPU pGicCpu = VMCPU_TO_GICCPU(pVCpu);
     uint16_t const idxPriority = idxReg * sizeof(uint32_t);
@@ -1208 +1208 @@
 {
     /* When affinity routing is disabled, reads return 0. */
-    Assert(pGicDev->fAffRoutingEnabled);
+    Assert(pGicDev->fAffRoutingEnabled); RT_NOREF(pGicDev);
     Assert(idxReg < RT_ELEMENTS(pGicCpu->bmIntrPending));
     *puValue = pGicCpu->bmIntrPending[idxReg];
@@ -1271 +1271 @@
 static VBOXSTRICTRC gicReDistReadIntrEnableReg(PCGICDEV pGicDev, PGICCPU pGicCpu, uint16_t idxReg, uint32_t *puValue)
 {
-    Assert(pGicDev->fAffRoutingEnabled);
+    Assert(pGicDev->fAffRoutingEnabled); RT_NOREF(pGicDev);
     Assert(idxReg < RT_ELEMENTS(pGicCpu->bmIntrEnabled));
     *puValue = pGicCpu->bmIntrEnabled[idxReg];
@@ -1387 +1387 @@
 {
     /* When affinity routing is disabled, reads return 0. */
-    Assert(pGicDev->fAffRoutingEnabled);
+    Assert(pGicDev->fAffRoutingEnabled); RT_NOREF(pGicDev);
     if (idxReg > 0)
     {
@@ -1415 +1415 @@
 {
     /* When affinity routing is disabled, writes are ignored. */
-    Assert(pGicDev->fAffRoutingEnabled);
+    Assert(pGicDev->fAffRoutingEnabled); RT_NOREF(pGicDev);
     PGICCPU pGicCpu = VMCPU_TO_GICCPU(pVCpu);
     if (idxReg > 0)
@@ -1445 +1445 @@
 {
     /* When affinity routing is disabled, reads return 0. */
-    Assert(pGicDev->fAffRoutingEnabled);
+    Assert(pGicDev->fAffRoutingEnabled); RT_NOREF(pGicDev);
     Assert(idxReg < RT_ELEMENTS(pGicCpu->bmIntrGroup));
     *puValue = pGicCpu->bmIntrGroup[idxReg];
@@ -1983 +1983 @@
 DECLINLINE(VBOXSTRICTRC) gicDistReadRegister(PPDMDEVINS pDevIns, PVMCPUCC pVCpu, uint16_t offReg, uint32_t *puValue)
 {
-    VMCPU_ASSERT_EMT(pVCpu);
+    VMCPU_ASSERT_EMT(pVCpu); RT_NOREF(pVCpu);
     PGICDEV  pGicDev     = PDMDEVINS_2_DATA(pDevIns, PGICDEV);
     uint16_t const cbReg = sizeof(uint32_t);
@@ -2283 +2283 @@
 DECLINLINE(VBOXSTRICTRC) gicDistWriteRegister(PPDMDEVINS pDevIns, PVMCPUCC pVCpu, uint16_t offReg, uint32_t uValue)
 {
-    VMCPU_ASSERT_EMT(pVCpu);
+    VMCPU_ASSERT_EMT(pVCpu); RT_NOREF(pVCpu);
     PGICDEV        pGicDev = PDMDEVINS_2_DATA(pDevIns, PGICDEV);
     PVMCC          pVM     = PDMDevHlpGetVM(pDevIns);