Lines Matching refs:guest_cr4
1738 vmcs12->guest_cr4 = evmcs->guest_cr4;
1961 evmcs->guest_cr4 = vmcs12->guest_cr4;
2331 if (vmx_umip_emulated() && (vmcs12->guest_cr4 & X86_CR4_UMIP))
2604 vmx_set_cr4(vcpu, vmcs12->guest_cr4);
3029 CC(!nested_guest_cr4_valid(vcpu, vmcs12->guest_cr4)))
3053 if (CC(ia32e && !(vmcs12->guest_cr4 & X86_CR4_PAE)) ||
3722 /*2*/ (vmcs12->guest_cr4 & vmcs12->cr4_guest_host_mask) |
4339 vmcs12->guest_cr4 = vmcs12_guest_cr4(vcpu, vmcs12);