Symbol: HOST_ICH_HCR_EL2
sys/arm64/vmm/io/vgic_v3.c
2122
*hypctx_sys_reg(hypctx, HOST_ICH_HCR_EL2) &= ~ICH_HCR_EL2_UIE;
sys/arm64/vmm/io/vgic_v3.c
2255
*hypctx_sys_reg(hypctx, HOST_ICH_HCR_EL2) &= ~ICH_HCR_EL2_EOICOUNT_MASK;
sys/arm64/vmm/io/vgic_v3.c
506
hypctx_write_sys_reg(hypctx, HOST_ICH_HCR_EL2, ICH_HCR_EL2_En);
sys/arm64/vmm/vmm_hyp.c
177
hypctx_write_sys_reg(hypctx, HOST_ICH_HCR_EL2,
sys/arm64/vmm/vmm_hyp.c
637
hypctx_read_sys_reg(hypctx, HOST_ICH_HCR_EL2));