vmcs12_exec_ctrl 2046 arch/x86/kvm/vmx/nested.c 	u32 exec_control, vmcs12_exec_ctrl;
vmcs12_exec_ctrl 2120 arch/x86/kvm/vmx/nested.c 			vmcs12_exec_ctrl = vmcs12->secondary_vm_exec_control &
vmcs12_exec_ctrl 2122 arch/x86/kvm/vmx/nested.c 			exec_control |= vmcs12_exec_ctrl;