vcpu_lock
vcpu_lock(vcpu);
vcpu_lock(vcpu);
vcpu_lock(vcpu);
vcpu_lock(vcpu);
vcpu_lock(vcpu);
vcpu_lock(vcpu);
vcpu_lock(vcpu);
vcpu_lock(vcpu);
vcpu_lock(vcpu);
vcpu_lock(vcpu);
vcpu_lock(vcpu);
vcpu_lock(vcpu);
vcpu_lock(vcpu);
vcpu_lock(vcpu);
vcpu_lock(vcpu);
vcpu_lock(vcpu);
vcpu_lock(vcpu);
vcpu_lock(vcpu);
vcpu_lock(vcpu);
vcpu_lock(vcpu);
pthread_mutex_lock(&vcpu_lock);
pthread_cond_wait(&vcpus_can_run, &vcpu_lock);
pthread_mutex_unlock(&vcpu_lock);
pthread_mutex_lock(&vcpu_lock);
pthread_mutex_unlock(&vcpu_lock);
pthread_mutex_lock(&vcpu_lock);
pthread_cond_wait(&vcpus_can_run, &vcpu_lock);
pthread_mutex_unlock(&vcpu_lock);
pthread_mutex_lock(&vcpu_lock);
pthread_cond_wait(&vcpus_idle, &vcpu_lock);
pthread_mutex_unlock(&vcpu_lock);
pthread_mutex_lock(&vcpu_lock);
pthread_mutex_unlock(&vcpu_lock);
static pthread_mutex_t vcpu_lock = PTHREAD_MUTEX_INITIALIZER;