Changeset 108490 in vbox for trunk/src/VBox/VMM

Timestamp:

Mar 10, 2025 10:14:30 AM (8 weeks ago)

Author:

vboxsync

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

167878

Message:

VMM/GIC: bugref:10404 nits.

File:

• trunk/src/VBox/VMM/VMMR3/GICR3.cpp (modified) (4 diffs)

trunk/src/VBox/VMM/VMMR3/GICR3.cpp

@@ -88 +88 @@
     PPDMDEVINS pDevIns = pGic->CTX_SUFF(pDevIns);
     PCGICDEV   pGicDev = PDMDEVINS_2_DATA(pDevIns, PCGICDEV);
+
     pHlp->pfnPrintf(pHlp, "GIC:\n");
     pHlp->pfnPrintf(pHlp, "  uArchRev         = %u\n",      pGicDev->uArchRev);
@@ -100 +101 @@
     pHlp->pfnPrintf(pHlp, "  fNmi             = %RTbool\n", pGicDev->fNmi);
     pHlp->pfnPrintf(pHlp, "  fMbi             = %RTbool\n", pGicDev->fMbi);
+    pHlp->pfnPrintf(pHlp, "  fAff3Levels      = %RTbool\n", pGicDev->fAff3Levels);
 }
 
@@ -116 +118 @@
     PGIC pGic = VM_TO_GIC(pVM);
     PPDMDEVINS pDevIns = pGic->CTX_SUFF(pDevIns);
-    PGICDEV    pGicDev = PDMDEVINS_2_DATA(pDevIns, PGICDEV);
+    PCGICDEV   pGicDev = PDMDEVINS_2_DATA(pDevIns, PCGICDEV);
 
 #define GIC_DBGFINFO_DIST_INTR_BITMAP(a_Name, a_bmIntr) \
@@ -196 +198 @@
         pVCpu = pVM->apCpusR3[0];
 
-    PGICCPU pGicCpu = VMCPU_TO_GICCPU(pVCpu);
+    PCGICCPU pGicCpu = VMCPU_TO_GICCPU(pVCpu);
 
     pHlp->pfnPrintf(pHlp, "VCPU[%u] Redistributor:\n", pVCpu->idCpu);