Searched refs:vcpu_ready (Results 1 – 1 of 1) sorted by relevance
41 static sem_t vcpu_ready; variable77 sem_post(&vcpu_ready); in vcpu_worker()109 TEST_ASSERT(!sem_timedwait(&vcpu_ready, &ts), in wait_for_vcpu()
