Searched refs:sem_vcpu_cont (Results 1 – 1 of 1) sorted by relevance
143 static sem_t sem_vcpu_cont; variable253 sem_wait_until(&sem_vcpu_cont); in vcpu_handle_sync_stop()351 sem_post(&sem_vcpu_cont); in dirty_ring_continue_vcpu()412 sem_wait_until(&sem_vcpu_cont); in dirty_ring_after_vcpu_run()792 sem_getvalue(&sem_vcpu_cont, &sem_val); in run_test()831 sem_post(&sem_vcpu_cont); in run_test()879 sem_init(&sem_vcpu_cont, 0, 0); in main()