Changeset 108733 in vbox for trunk/src

Timestamp:

Mar 25, 2025 10:24:27 AM (3 weeks ago)

Author:

vboxsync

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

168156

Message:

VMM/GIC: bugref:10877 todo nits.

File:

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

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

@@ -630 +630 @@
     AssertCompile(GIC_DIST_REG_TYPER_NUM_ITLINES == 31);
     /** @todo This currently isn't implemented and the full range is always
-     *        supported. */
+     *        reported to the guest. */
     rc = pHlp->pfnCFGMQueryU8Def(pCfg, "MaxSpi", &pGicDev->uMaxSpi, 31 /* Upto and incl. IntId 1023 */);
     AssertLogRelRCReturn(rc, rc);
@@ -654 +654 @@
     AssertCompile(GIC_DIST_REG_TYPER_ESPI_RANGE >> GIC_DIST_REG_TYPER_ESPI_RANGE_BIT == 31);
     /** @todo This currently isn't implemented and the full range is always
-     *        supported. */
+     *        reported to the guest. */
     rc = pHlp->pfnCFGMQueryU8Def(pCfg, "MaxExtSpi", &pGicDev->uMaxExtSpi, 31);
     AssertLogRelRCReturn(rc, rc);
@@ -675 +675 @@
      * [1087,1119]. This is unused when extended PPIs are disabled. */
     /** @todo This currently isn't implemented and the full range is always
-     *        supported. */
+     *        reported to the guest. */
     rc = pHlp->pfnCFGMQueryU8Def(pCfg, "MaxExtPpi", &pGicDev->uMaxExtPpi, 2);
     AssertLogRelRCReturn(rc, rc);