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

Timestamp:

Mar 7, 2025 9:37:16 AM (6 weeks ago)

Author:

vboxsync

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

167859

Message:

VMM/GIC: bugref:10404 Cleanup.

File:

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

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

@@ -1829 +1829 @@
  *                      GIC_INTID_RANGE_SPECIAL_NO_INTERRUPT.
  */
-static uint16_t gicGetHighestPriorityPendingIntrEx(PCGICDEV pGicDev, PCGICCPU pGicCpu, bool fGroup0, bool fGroup1,
-                                                   uint16_t *pidxIntr, uint8_t *pbPriority)
+static uint16_t gicGetHighestPriorityPendingIntr(PCGICDEV pGicDev, PCGICCPU pGicCpu, bool fGroup0, bool fGroup1,
+                                                 uint16_t *pidxIntr, uint8_t *pbPriority)
 {
 #define GIC_DIST_INTR_COUNT     RT_ELEMENTS(pGicDev->bmIntrPending)
@@ -1991 +1991 @@
     uint16_t idxIntr;
     PGICCPU  pGicCpu = VMCPU_TO_GICCPU(pVCpu);
-    uint16_t const uIntId = gicGetHighestPriorityPendingIntrEx(pGicDev, pGicCpu, fGroup0, fGroup1, &idxIntr, &bIntrPriority);
-
+    uint16_t const uIntId = gicGetHighestPriorityPendingIntr(pGicDev, pGicCpu, fGroup0, fGroup1, &idxIntr, &bIntrPriority);
     if (uIntId != GIC_INTID_RANGE_SPECIAL_NO_INTERRUPT)
     {
@@ -3521 +3520 @@
 #else
             AssertReleaseFailed();
-            *pu64Value = gicGetHighestPriorityPendingIntrEx(pGicDev, pGicCpu, false /*fGroup0*/, true /*fGroup1*/,
-                                                            NULL /*pidxIntr*/, NULL /*pbPriority*/);
+            *pu64Value = gicGetHighestPriorityPendingIntr(pGicDev, pGicCpu, false /*fGroup0*/, true /*fGroup1*/,
+                                                          NULL /*pidxIntr*/, NULL /*pbPriority*/);
 #endif
             break;