launch
mpc->launch = smp_bootstrap;
void *launch;
static int nested_vmx_run(struct kvm_vcpu *vcpu, bool launch)
evmptrld_status = nested_vmx_handle_enlightened_vmptrld(vcpu, launch);
vmcs12->launch_state = !launch;
if (CC(vmcs12->launch_state == launch))
launch ? VMXERR_VMLAUNCH_NONCLEAR_VMCS
struct launch start;
struct launch restart;