VBox

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:

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

-              r99378
+              r99379
     /** The SCTLR_EL1 register. */
     CPUMCTXSYSREG   Sctlr;
+    /** THe TCR_EL1 register. */
+    CPUMCTXSYSREG   Tcr;
     /** The TTBR0_EL1 register. */
     CPUMCTXSYSREG   Ttbr0;
 …
     uint64_t        fExtrn;
     uint64_t        au64Padding1[3];
+    uint64_t        au64Padding1[2];
 } CPUMCTX;
 …
 /** 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. */

-              r99376
+              r99379
     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,

Note: See TracChangeset for help on using the changeset viewer.