HCRX_EL2
(__vcpu_sys_reg(vcpu, HCRX_EL2) & HCRX_EL2_TMEA);
!(__vcpu_sys_reg(vcpu, HCRX_EL2) & HCRX_EL2_TCR2En))
case HCRX_EL2:
tmp = __vcpu_sys_reg(vcpu, HCRX_EL2);
.index = HCRX_EL2,
.index = HCRX_EL2,
.index = HCRX_EL2,
u64 hcrx = __vcpu_sys_reg(vcpu, HCRX_EL2);
u64 val = __vcpu_sys_reg(vcpu, HCRX_EL2);
ctxt_sys_reg(hctxt, HCRX_EL2) = read_sysreg_s(SYS_HCRX_EL2);
write_sysreg_s(ctxt_sys_reg(hctxt, HCRX_EL2), SYS_HCRX_EL2);
(__vcpu_sys_reg(vcpu, HCRX_EL2) & HCRX_EL2_TMEA);
if (!(__vcpu_sys_reg(vcpu, HCRX_EL2) & HCRX_EL2_TMEA))
!(__vcpu_sys_reg(vcpu, HCRX_EL2) & HCRX_EL2_SCTLR2En))
resx = get_reg_fixed_bits(kvm, HCRX_EL2);
set_sysreg_masks(kvm, HCRX_EL2, resx);
EL2_REG_VNCR(HCRX_EL2, reset_val, 0),
REG_FEAT(HCRX_EL2, ID_AA64MMFR1_EL1, HCX, IMP),
SYS_REG(HCRX_EL2),