Home
last modified time | relevance | path

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

/qemu/docs/spin/
H A Dtcg-exclusive.promela73 byte pending_cpus;
80 :: pending_cpus -> COND_WAIT(exclusive_resume, mutex); \
87 pending_cpus = 1; \
93 :: running[i] -> has_waiter[i] = 1; pending_cpus++; \
102 :: pending_cpus > 1 -> COND_WAIT(exclusive_cond, mutex); \
109 pending_cpus = 0; \
125 :: pending_cpus -> { \
126 pending_cpus--; \
128 :: pending_cpus == 1 -> COND_BROADCAST(exclusive_cond); \
141 :: pending_cpus -> { \
[all …]
/qemu/
H A Dcpu-common.c36 static int pending_cpus; variable
42 pending_cpus = 0; in qemu_init_cpu_list()
184 while (pending_cpus) { in exclusive_idle()
205 qatomic_set(&pending_cpus, 1); in start_exclusive()
218 qatomic_set(&pending_cpus, running_cpus + 1); in start_exclusive()
219 while (pending_cpus > 1) { in start_exclusive()
240 qatomic_set(&pending_cpus, 0); in end_exclusive()
266 if (unlikely(qatomic_read(&pending_cpus))) { in cpu_exec_start()
308 if (unlikely(qatomic_read(&pending_cpus))) { in cpu_exec_end()
312 qatomic_set(&pending_cpus, pending_cpus - 1); in cpu_exec_end()
[all …]