Home
last modified time | relevance | path

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

/openbmc/qemu/docs/spin/
H A Dwin32-qemu-event.promela34 #define EV_SET 0
41 #define SET if :: state != EV_SET -> \
42 atomic { /* xchg_result=xchg(state, EV_SET) */ \
44 state = EV_SET; \
52 #define RESET if :: state == EV_SET -> atomic { state = state | EV_FREE; } \
58 if :: tmp1 != EV_SET -> \
67 if :: tmp2 == EV_SET -> tmp1 = EV_SET; \
/openbmc/qemu/util/
H A Dqemu-thread-win32.c253 #define EV_SET 0 macro
261 ev->value = (init ? EV_SET : EV_FREE); in qemu_event_init()
283 if (qatomic_read(&ev->value) != EV_SET) { in qemu_event_set()
284 int old = qatomic_xchg(&ev->value, EV_SET); in qemu_event_set()
328 if (value != EV_SET) { in qemu_event_wait()
350 if (qatomic_cmpxchg(&ev->value, EV_FREE, EV_BUSY) == EV_SET) { in qemu_event_wait()
H A Dqemu-thread-posix.c360 #define EV_SET 0 macro
371 ev->value = (init ? EV_SET : EV_FREE); in qemu_event_init()
396 if (qatomic_read(&ev->value) != EV_SET) { in qemu_event_set()
397 int old = qatomic_xchg(&ev->value, EV_SET); in qemu_event_set()
441 if (value != EV_SET) { in qemu_event_wait()
454 if (qatomic_cmpxchg(&ev->value, EV_FREE, EV_BUSY) == EV_SET) { in qemu_event_wait()