Searched refs:launch_state (Results 1 – 3 of 3) sorted by relevance
34 u32 launch_state; /* set to 0 by VMCLEAR, to 1 by VMLAUNCH */ member219 CHECK_OFFSET(launch_state, 8); in vmx_check_vmcs12_offsets()
3556 vmcs12->launch_state = !launch; in nested_vmx_run()3574 if (CC(vmcs12->launch_state == launch)) in nested_vmx_run()4386 vmcs12->launch_state = 1; in prepare_vmcs12()5263 launch_state), in handle_vmclear()
92 u32 launch_state; /* set to 0 by VMCLEAR, to 1 by VMLAUNCH */