1 // © 2022 Qualcomm Innovation Center, Inc. All rights reserved.
2 //
3 // SPDX-License-Identifier: BSD-3-Clause
4 
5 // Return true if vcpu_run is enabled for the specified VCPU.
6 //
7 // Returns false if vcpu_run is disabled or the specified thread is not a VCPU.
8 //
9 // Note that this is all-or-nothing for any given VCPU: either it is scheduled
10 // exclusively by calling the vcpu_run hypercall, or else it is scheduled by the
11 // EL2 scheduler and any attempt to call vcpu_run on it will fail.
12 //
13 // The caller must hold the specified thread's scheduler lock.
14 bool
15 vcpu_run_is_enabled(const thread_t *vcpu) REQUIRE_SCHEDULER_LOCK(vcpu);
16