Changeset 99378 in vbox for trunk/include/VBox

Timestamp:

Apr 12, 2023 7:45:41 AM (20 months ago)

Author:

vboxsync

Message:

VMM/ARMv8: Sync and log the SCTLR/TTBR0/TTBR1 registers, bugref:10390, bugref:10387, bugref:10388 [doxygen fix]

File:

• trunk/include/VBox/vmm/cpumctx-armv8.h (modified) (1 diff)

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

@@ -192 +192 @@
 /** The PSTATE value is kept externally. */
 #define CPUMCTX_EXTRN_PSTATE                    UINT64_C(0x0000000000000040)
-/** The SCTRL_EL1/TTBR<x>_EL1 system registers are kept externally. */
+/** The SCTRL_EL1/TTBR{0,1}_EL1 system registers are kept externally. */
 #define CPUMCTX_EXTRN_SCTLR_TTBR                UINT64_C(0x0000000000000080)