Symbol: HOST_ICH_VMCR_EL2
sys/arm64/vmm/io/vgic_v3.c
521
hypctx_write_sys_reg(hypctx, HOST_ICH_VMCR_EL2,
sys/arm64/vmm/io/vgic_v3.c
525
*hypctx_sys_reg(hypctx, HOST_ICH_VMCR_EL2) &= ~ICH_VMCR_EL2_VEOIM;
sys/arm64/vmm/io/vgic_v3.c
526
*hypctx_sys_reg(hypctx, HOST_ICH_VMCR_EL2) |= ICH_VMCR_EL2_VENG0 |
sys/arm64/vmm/vmm_hyp.c
179
hypctx_write_sys_reg(hypctx, HOST_ICH_VMCR_EL2,
sys/arm64/vmm/vmm_hyp.c
639
hypctx_read_sys_reg(hypctx, HOST_ICH_VMCR_EL2));