Changeset 106999 in vbox for trunk/src/VBox/VMM/VMMR3/GICR3.cpp

Timestamp:

Nov 14, 2024 8:39:32 AM (3 months ago)

Author:

vboxsync

Message:

VMM/GIC: Don't choke if ItsMmioBase is configured, bugref:10392

File:

• trunk/src/VBox/VMM/VMMR3/GICR3.cpp (modified) (1 diff)

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

@@ -410 +410 @@
      * Validate GIC settings.
      */
-    PDMDEV_VALIDATE_CONFIG_RETURN(pDevIns, "DistributorMmioBase|RedistributorMmioBase", "");
+    PDMDEV_VALIDATE_CONFIG_RETURN(pDevIns, "DistributorMmioBase|RedistributorMmioBase|ItsMmioBase", "");
 
 #if 0