CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
Loading...
Searching...
No Matches
EventWaiterSource Struct Reference

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.

Detailed Description

Structure describing a change to the set of managed event sources for an event waiter.

Definition at line 40 of file multiwaiter.h.

Member Data Documentation

◆ eventSource

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.

◆ value

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.


The documentation for this struct was generated from the following file: