|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
Structure describing a change to the set of managed event sources for an event waiter. More...
#include <multiwaiter.h>
Public Attributes | |
| void * | eventSource |
| A pointer to the event source. | |
| uint32_t | value |
| Event value. | |
Structure describing a change to the set of managed event sources for an event waiter.
Definition at line 40 of file multiwaiter.h.
| void* EventWaiterSource::eventSource |
A pointer to the event source.
This is the futex that is monitored for the multiwaiter.
Definition at line 46 of file multiwaiter.h.
| uint32_t EventWaiterSource::value |
Event value.
This field is modified during the wait call.
This indicates the value to compare the futex word against. If they mismatch, the event fires immediately.
On return, this is set to 1 if the futex is signaled, 0 otherwise.
Definition at line 56 of file multiwaiter.h.