dev/arm/gic_v3_cpu_interface.cc

198           value = ich_vmcr_el2.VENG1;
1363           ich_vmcr_el2.VENG1 = enable;
1564           ich_vmcr_el2.VENG1 = requested_ich_vmcr_el2.VENG1;
2112     if (!ich_vmcr_el2.VENG0 && !ich_vmcr_el2.VENG1) {
2129             if (!ich_vmcr_el2.VENG1) {
2519     // ICH_HCR_EL2.VGrp1EIE==1 and ICH_VMCR_EL2.VENG1==is 1.
2520     if (ich_hcr_el2.VGrp1EIE && ich_vmcr_el2.VENG1) {
2526     // ICH_HCR_EL2.VGrp1DIE==1 and ICH_VMCR_EL2.VENG1==is 0.
2527     if (ich_hcr_el2.VGrp1DIE && !ich_vmcr_el2.VENG1) {