File tree Expand file tree Collapse file tree 1 file changed +7
-0
lines changed Expand file tree Collapse file tree 1 file changed +7
-0
lines changed Original file line number Diff line number Diff line change @@ -51,6 +51,9 @@ static void __sysreg_save_vel2_state(struct kvm_vcpu *vcpu)
51
51
__vcpu_sys_reg (vcpu , TTBR1_EL2 ) = read_sysreg_el1 (SYS_TTBR1 );
52
52
__vcpu_sys_reg (vcpu , TCR_EL2 ) = read_sysreg_el1 (SYS_TCR );
53
53
54
+ if (ctxt_has_tcrx (& vcpu -> arch .ctxt ))
55
+ __vcpu_sys_reg (vcpu , TCR2_EL2 ) = read_sysreg_el1 (SYS_TCR2 );
56
+
54
57
/*
55
58
* The EL1 view of CNTKCTL_EL1 has a bunch of RES0 bits where
56
59
* the interesting CNTHCTL_EL2 bits live. So preserve these
@@ -107,6 +110,10 @@ static void __sysreg_restore_vel2_state(struct kvm_vcpu *vcpu)
107
110
write_sysreg_el1 (val , SYS_TCR );
108
111
}
109
112
113
+ if (ctxt_has_tcrx (& vcpu -> arch .ctxt ))
114
+ write_sysreg_el1 (__vcpu_sys_reg (vcpu , TCR2_EL2 ), SYS_TCR2 );
115
+
116
+
110
117
write_sysreg_el1 (__vcpu_sys_reg (vcpu , ESR_EL2 ), SYS_ESR );
111
118
write_sysreg_el1 (__vcpu_sys_reg (vcpu , AFSR0_EL2 ), SYS_AFSR0 );
112
119
write_sysreg_el1 (__vcpu_sys_reg (vcpu , AFSR1_EL2 ), SYS_AFSR1 );
You can’t perform that action at this time.
0 commit comments