Home
last modified time | relevance | path

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

/openbmc/qemu/docs/spin/
H A Dwin32-qemu-event.promela35 #define EV_FREE 1
38 int state = EV_FREE;
52 #define RESET if :: state == EV_SET -> atomic { state = state | EV_FREE; } \
59 if :: tmp1 == EV_FREE -> \
61 atomic { /* tmp2=cas(state, EV_FREE, EV_BUSY) */ \
63 if :: tmp2 == EV_FREE -> state = EV_BUSY; \
72 assert(tmp1 != EV_FREE); \
/openbmc/qemu/util/
H A Dqemu-thread-win32.c254 #define EV_FREE 1 macro
261 ev->value = (init ? EV_SET : EV_FREE); in qemu_event_init()
303 qatomic_or(&ev->value, EV_FREE); in qemu_event_reset()
329 if (value == EV_FREE) { 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.c361 #define EV_FREE 1 macro
371 ev->value = (init ? EV_SET : EV_FREE); in qemu_event_init()
416 qatomic_or(&ev->value, EV_FREE); in qemu_event_reset()
442 if (value == EV_FREE) { in qemu_event_wait()
454 if (qatomic_cmpxchg(&ev->value, EV_FREE, EV_BUSY) == EV_SET) { in qemu_event_wait()