Changeset 99379 in vbox for trunk/include/VBox/vmm

Timestamp:

Apr 12, 2023 10:30:59 AM (20 months ago)

Author:

vboxsync

Message:

VMM/ARMv8: Sync and log the TCR_EL1 register as well, bugref:10390, bugref:10387, bugref:10388

Location:

trunk/include/VBox/vmm

Files:

• cpumctx-armv8.h (modified) (3 diffs)
• dbgf.h (modified) (1 diff)

trunk/include/VBox/vmm/cpumctx-armv8.h

@@ -141 +141 @@
     /** The SCTLR_EL1 register. */
     CPUMCTXSYSREG   Sctlr;
+    /** THe TCR_EL1 register. */
+    CPUMCTXSYSREG   Tcr;
     /** The TTBR0_EL1 register. */
     CPUMCTXSYSREG   Ttbr0;
@@ -158 +160 @@
     uint64_t        fExtrn;
 
-    uint64_t        au64Padding1[3];
+    uint64_t        au64Padding1[2];
 } CPUMCTX;
 
@@ -192 +194 @@
 /** The PSTATE value is kept externally. */
 #define CPUMCTX_EXTRN_PSTATE                    UINT64_C(0x0000000000000040)
-/** The SCTRL_EL1/TTBR{0,1}_EL1 system registers are kept externally. */
-#define CPUMCTX_EXTRN_SCTLR_TTBR                UINT64_C(0x0000000000000080)
+/** The SCTRL_EL1/TCR_EL1/TTBR{0,1}_EL1 system registers are kept externally. */
+#define CPUMCTX_EXTRN_SCTLR_TCR_TTBR            UINT64_C(0x0000000000000080)
 
 /** The X0 register value is kept externally. */

trunk/include/VBox/vmm/dbgf.h

@@ -2155 +2155 @@
     DBGFREG_ARMV8_SPSR_EL1,
     DBGFREG_ARMV8_SPSR_EL2,
+    DBGFREG_ARMV8_PSTATE = DBGFREG_ARMV8_SPSR_EL2,
     DBGFREG_ARMV8_SCTLR_EL1,
+    DBGFREG_ARMV8_TCR_EL1,
     DBGFREG_ARMV8_TTBR0_EL1,
     DBGFREG_ARMV8_TTBR1_EL1,
-    DBGFREG_ARMV8_PSTATE = DBGFREG_ARMV8_SPSR_EL2,
     DBGFREG_ARMV8_ELR_EL1,