SCTLR2_EL1
static const DECLARE_FEAT_MAP(sctlr2_desc, SCTLR2_EL1,
case SCTLR2_EL1:
ctxt_sys_reg(ctxt, SCTLR2_EL1) = read_sysreg_el1(SYS_SCTLR2);
write_sysreg_el1(ctxt_sys_reg(ctxt, SCTLR2_EL1), SYS_SCTLR2);
sctlr2 = vcpu_read_sys_reg(vcpu, SCTLR2_EL1);
resx = get_reg_fixed_bits(kvm, SCTLR2_EL1);
set_sysreg_masks(kvm, SCTLR2_EL1, resx);
case SCTLR2_EL1:
MAPPED_EL2_SYSREG(SCTLR2_EL2, SCTLR2_EL1, NULL );
case SCTLR2_EL1: val = read_sysreg_s(SYS_SCTLR2_EL12); break;
case SCTLR2_EL1: write_sysreg_s(val, SYS_SCTLR2_EL12); break;
{ SYS_DESC(SYS_SCTLR2_EL1), access_vm_reg, reset_val, SCTLR2_EL1, 0,
REG_FEAT(SCTLR2_EL1, ID_AA64MMFR3_EL1, SCTLRX, IMP),
MAPPED_EL2_SYSREG(SCTLR2_EL2, SCTLR2_EL1);