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

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.

Detailed Description

Ticket locks use two monotonic counters to store the lock state.

Definition at line 31 of file locks.h.


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