Symbol: HOST_HCR_EL2
sys/arm64/vmm/vmm_hyp.c
337
hypctx_write_sys_reg(hypctx, HOST_HCR_EL2,
sys/arm64/vmm/vmm_hyp.c
355
WRITE_SPECIALREG(hcr_el2, hypctx_read_sys_reg(hypctx, HOST_HCR_EL2));
sys/arm64/vmm/vmm_reset.c
103
*hypctx_sys_reg(el2ctx, HOST_HCR_EL2) |= HCR_E2H;
sys/arm64/vmm/vmm_reset.c
98
hypctx_write_sys_reg(el2ctx, HOST_HCR_EL2,