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 */
210 u32 launch_state; /* set to 0 by VMCLEAR, to 1 by VMLAUNCH */ member6793 vmcs12->launch_state = 0; in handle_vmclear()9413 if (vmcs12->launch_state == launch) { in nested_vmx_run()9562 vmcs12->launch_state = 1; in nested_vmx_run()