* Use domain_vcpu() rather than opencoding the lookup. Amongst other things,
domain_vcpu() is spectre-v1-safe.
* Unlock the domain immediately after arch_set_info_guest() completes. There
is no need for free_vcpu_guest_context() to be within the critical region,
and moving the call simplifies the error case.
No practical change in functionality.
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Julien Grall <julien.grall@arm.com>
vcpuid = vaffinity_to_vcpuid(target_cpu);
- if ( vcpuid >= d->max_vcpus || (v = d->vcpu[vcpuid]) == NULL )
+ if ( (v = domain_vcpu(d, vcpuid)) == NULL )
return PSCI_INVALID_PARAMETERS;
/* THUMB set is not allowed with 64-bit domain */
domain_lock(d);
rc = arch_set_info_guest(v, ctxt);
+ domain_unlock(d);
+
free_vcpu_guest_context(ctxt);
if ( rc < 0 )
- {
- domain_unlock(d);
return PSCI_DENIED;
- }
- domain_unlock(d);
vcpu_wake(v);