|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
Ticket locks use two monotonic counters to store the lock state. More...
#include <locks.h>
Public Member Functions | |
| _Atomic (uint32_t) current | |
| The value for the current ticket holder. | |
| _Atomic (uint32_t) next | |
| The value for the next ticket to be granted. | |
Ticket locks use two monotonic counters to store the lock state.