Searched refs:is_launch (Results 1 – 1 of 1) sorted by relevance
1471 static void nested_vmentry(struct acrn_vcpu *vcpu, bool is_launch) in nested_vmentry() argument1478 } 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()1507 if (is_launch) { in nested_vmentry()
Completed in 14 milliseconds