Changeset 109150 in vbox

Timestamp:

May 5, 2025 10:52:50 AM (4 days ago)

Author:

vboxsync

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

168706

Message:

VMM/GIC: bugref:10877 Build fix.

File:

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

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

@@ -740 +740 @@
                         case GITS_CMD_ID_MAPTI:
                         {
-                            ///* Map device ID and event ID to corresponding ITE. */
+                            /* Map device ID and event ID to corresponding ITE. */
                             //uint32_t const uDevId   = RT_BF_GET(pCmd->au64[0].u, GITS_BF_CMD_MAPTI_DW0_DEV_ID);
                             //uint32_t const uEventId = RT_BF_GET(pCmd->au64[1].u, GITS_BF_CMD_MAPTI_DW1_EVENT_ID);
@@ -748 +748 @@
                             ///* We support 32-bits of device ID and hence it cannot be out of range (asserted below). */
                             //Assert(sizeof(uDevId) * 8 >= RT_BF_GET(pGitsDev->uTypeReg.u, GITS_BF_CTRL_REG_TYPER_DEV_BITS) + 1);
+                            //AssertMsgFailed(("uDevId=%RU32 uEventId=%RU32 uIntId=%RU32 uIcId=%RU16\n",
+                            //                 uDevId, uEventId, uIntId, uIcId));
                             break;
                         }
@@ -757 +759 @@
                                              uReg & GITS_BF_CTRL_REG_BASER_PHYS_ADDR_MASK, gitsGetBaseRegPhysAddr(uReg),
                                              RT_BOOL(RT_BF_GET(uReg, GITS_BF_CTRL_REG_BASER_VALID))));
+                            NOREF(uReg);
                             break;
                         }