Searched refs:launch_state (Results 1 – 2 of 2) sorted by relevance
96 u32 launch_state; /* set to 0 by VMCLEAR, to 1 by VMLAUNCH */
214 u32 launch_state; /* set to 0 by VMCLEAR, to 1 by VMLAUNCH */ member6932 vmcs12->launch_state = 0; in handle_vmclear()9825 if (vmcs12->launch_state == launch) { in nested_vmx_run()9974 vmcs12->launch_state = 1; in nested_vmx_run()