Symbol: SYS_HCRX_EL2
arch/arm64/include/asm/el2_setup.h
100
msr_s SYS_HCRX_EL2, x0
arch/arm64/kvm/hyp/include/hyp/switch.h
326
ctxt_sys_reg(hctxt, HCRX_EL2) = read_sysreg_s(SYS_HCRX_EL2);
arch/arm64/kvm/hyp/include/hyp/switch.h
327
write_sysreg_s(hcrx, SYS_HCRX_EL2);
arch/arm64/kvm/hyp/include/hyp/switch.h
345
write_sysreg_s(ctxt_sys_reg(hctxt, HCRX_EL2), SYS_HCRX_EL2);