SCTLR2_EL2
case SCTLR2_EL2:
if (__vcpu_sys_reg(vcpu, SCTLR2_EL2) & SCTLR2_EL1_EASE)
write_sysreg_el1(__vcpu_sys_reg(vcpu, SCTLR2_EL2), SYS_SCTLR2);
__vcpu_assign_sys_reg(vcpu, SCTLR2_EL2, read_sysreg_el1(SYS_SCTLR2));
sctlr2 = vcpu_read_sys_reg(vcpu, SCTLR2_EL2);
resx = get_reg_fixed_bits(kvm, SCTLR2_EL2);
set_sysreg_masks(kvm, SCTLR2_EL2, resx);
MAPPED_EL2_SYSREG(SCTLR2_EL2, SCTLR2_EL1, NULL );
EL2_REG_FILTERED(SCTLR2_EL2, access_vm_reg, reset_val, 0,
REG_FEAT(SCTLR2_EL2, ID_AA64MMFR3_EL1, SCTLRX, IMP),
SYS_REG(SCTLR2_EL2),
MAPPED_EL2_SYSREG(SCTLR2_EL2, SCTLR2_EL1);