Home
last modified time | relevance | path

Searched refs:has_waiter (Results 1 – 3 of 3) sorted by relevance

/qemu/docs/spin/
H A Dtcg-exclusive.promela76 byte has_waiter[N_CPUS];
93 :: running[i] -> has_waiter[i] = 1; pending_cpus++; \
144 :: !has_waiter[id] -> { \
162 :: has_waiter[id] -> { \
163 has_waiter[id] = 0; \
/qemu/
H A Dcpu-common.c215 other_cpu->has_waiter = true; in start_exclusive()
271 if (!cpu->has_waiter) { in cpu_exec_start()
313 if (cpu->has_waiter) { in cpu_exec_end()
314 cpu->has_waiter = false; in cpu_exec_end()
/qemu/include/hw/core/
H A Dcpu.h480 bool running, has_waiter; member