Lines Matching refs:VENG1
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) {