Symbol: HOST_HCRX_EL2
sys/arm64/vmm/vmm_hyp.c
346
hypctx_write_sys_reg(hypctx, HOST_HCRX_EL2,
sys/arm64/vmm/vmm_hyp.c
359
hypctx_read_sys_reg(hypctx, HOST_HCRX_EL2));
sys/arm64/vmm/vmm_reset.c
107
hypctx_write_sys_reg(el2ctx, HOST_HCRX_EL2, 0);