TCR2_EL1
return vcpu_read_sys_reg(vcpu, TCR2_EL1);
write_sysreg_el1(vcpu_read_sys_reg(vcpu, TCR2_EL1), SYS_TCR2);
ctxt_sys_reg(ctxt, TCR2_EL1) = read_sysreg_el1(SYS_TCR2);
write_sysreg_el1(ctxt_sys_reg(ctxt, TCR2_EL1), SYS_TCR2);
case TCR2_EL1:
MAPPED_EL2_SYSREG(TCR2_EL2, TCR2_EL1, NULL );
case TCR2_EL1: val = read_sysreg_s(SYS_TCR2_EL12); break;
case TCR2_EL1: write_sysreg_s(val, SYS_TCR2_EL12); break;
{ SYS_DESC(SYS_TCR2_EL1), access_vm_reg, reset_val, TCR2_EL1, 0,
REG_FEAT(TCR2_EL1, ID_AA64MMFR3_EL1, TCRX, IMP),
MAPPED_EL2_SYSREG(TCR2_EL2, TCR2_EL1);