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 */ member220 CHECK_OFFSET(launch_state, 8); in vmx_check_vmcs12_offsets()
3701 vmcs12->launch_state = !launch; in nested_vmx_run()3719 if (CC(vmcs12->launch_state == launch)) in nested_vmx_run()4613 vmcs12->launch_state = 1; in prepare_vmcs12()5493 launch_state), in handle_vmclear()
92 u32 launch_state; /* set to 0 by VMCLEAR, to 1 by VMLAUNCH */