launch_state     3226 arch/x86/kvm/vmx/nested.c 		vmcs12->launch_state = !launch;
launch_state     3245 arch/x86/kvm/vmx/nested.c 	if (vmcs12->launch_state == launch)
launch_state     3753 arch/x86/kvm/vmx/nested.c 		vmcs12->launch_state = 1;
launch_state     4577 arch/x86/kvm/vmx/nested.c 						      launch_state),
launch_state       34 arch/x86/kvm/vmx/vmcs12.h 	u32 launch_state; /* set to 0 by VMCLEAR, to 1 by VMLAUNCH */
launch_state      226 arch/x86/kvm/vmx/vmcs12.h 	CHECK_OFFSET(launch_state, 8);