Searched refs:launch_state (Results 1 – 2 of 2) sorted by relevance
1251 vvmcs->vmcs12.launch_state = VMCS12_LAUNCH_STATE_CLEAR; in vmclear_vmexit_handler()1277 uint32_t launch_state = VMCS12_LAUNCH_STATE_CLEAR; in vmclear_vmexit_handler() local1278 (void)copy_to_gpa(vcpu->vm, &launch_state, vmcs12_gpa + in vmclear_vmexit_handler()1279 offsetof(struct acrn_vmcs12, launch_state), sizeof(launch_state)); in vmclear_vmexit_handler()1478 } else if (is_launch && (vmcs12->launch_state != VMCS12_LAUNCH_STATE_CLEAR)) { in nested_vmentry()1480 } else if (!is_launch && (vmcs12->launch_state != VMCS12_LAUNCH_STATE_LAUNCHED)) { in nested_vmentry()1508 vmcs12->launch_state = VMCS12_LAUNCH_STATE_LAUNCHED; in nested_vmentry()
120 uint32_t launch_state; member
Completed in 9 milliseconds