dev/arm/gic_v3_cpu_interface.cc

180           value = ich_vmcr_el2.VENG0;
1340           ich_vmcr_el2.VENG0 = enable;
1565           ich_vmcr_el2.VENG0 = requested_ich_vmcr_el2.VENG0;
2112     if (!ich_vmcr_el2.VENG0 && !ich_vmcr_el2.VENG1) {
2134             if (!ich_vmcr_el2.VENG0) {
2505     // ICH_HCR_EL2.VGrp0EIE==1 and ICH_VMCR_EL2.VENG0==1.
2506     if (ich_hcr_el2.VGrp0EIE && ich_vmcr_el2.VENG0) {
2512     // ICH_HCR_EL2.VGrp0DIE==1 and ICH_VMCR_EL2.VENG0==0.
2513     if (ich_hcr_el2.VGrp0DIE && !ich_vmcr_el2.VENG0) {