Changeset 108439 in vbox for trunk/src/VBox/VMM/include

Timestamp:

Mar 4, 2025 1:38:06 PM (2 months ago)

Author:

vboxsync

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

167813

Message:

VMM/GIC: bugref:10404 Saved-state bits.

File:

• trunk/src/VBox/VMM/include/GICInternal.h (modified) (3 diffs)

trunk/src/VBox/VMM/include/GICInternal.h

@@ -230 +230 @@
     /** Interrupt priorities. */
     uint8_t                     abIntrPriority[96];
-    /** Flag indicating register write pending (GICR_CTLR.RWP). */
-    bool                        fRegWritePending;
 #else
     /** Interrupt Group 0 Register. */
@@ -254 +252 @@
     /** The control register (ICC_CTLR_EL1). */
     uint64_t                    uIccCtlr;
-    /** Flag whether group 0 interrupts are currently enabled. */
-    bool                        fIrqGrp0Enabled;
-    /** Flag whether group 1 interrupts are currently enabled. */
-    bool                        fIrqGrp1Enabled;
+    /** The running priorities caused by preemption. */
+    uint8_t                     abRunningPriorities[256];
+    /** The index to the current running priority. */
+    uint8_t                     idxRunningPriority;
     /** The current interrupt priority, only interrupts with a higher priority get signalled. */
     uint8_t                     bInterruptPriority;
@@ -264 +262 @@
     /** The interrupt controller Binary Point Register for Group 1 interrupts. */
     uint8_t                     bBinaryPointGrp1;
-    /** The running priorities caused by preemption. */
-    uint8_t                     abRunningPriorities[256];
-    /** The index to the current running priority. */
-    uint8_t                     idxRunningPriority;
+    /** Flag whether group 0 interrupts are currently enabled. */
+    bool                        fIrqGrp0Enabled;
+    /** Flag whether group 1 interrupts are currently enabled. */
+    bool                        fIrqGrp1Enabled;
     /** @} */