Home
last modified time | relevance | path

Searched refs:exclusive_cond (Results 1 – 2 of 2) sorted by relevance

/openbmc/qemu/docs/spin/
H A Dtcg-exclusive.promela71 cond_t exclusive_cond;
102 :: pending_cpus > 1 -> COND_WAIT(exclusive_cond, mutex); \
128 :: pending_cpus == 1 -> COND_BROADCAST(exclusive_cond); \
166 :: pending_cpus == 1 -> COND_BROADCAST(exclusive_cond); \
/openbmc/qemu/
H A Dcpu-common.c29 static QemuCond exclusive_cond; variable
45 qemu_cond_init(&exclusive_cond); in qemu_init_cpu_list()
221 qemu_cond_wait(&exclusive_cond, &qemu_cpu_list_lock); in start_exclusive()
315 qemu_cond_signal(&exclusive_cond); in cpu_exec_end()