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

State for a flag lock. More...

#include <locks.h>

Public Member Functions

 _Atomic (uint32_t) lockWord
 The lock word.

Detailed Description

State for a flag lock.

Flag locks use a single futex word to store the lock state.

Definition at line 17 of file locks.h.

Member Function Documentation

◆ _Atomic()

FlagLockState::_Atomic ( uint32_t )

The lock word.

One bit is used to indicate that the lock is held, another to indicate that the lock has waiters. In priority-inheriting locks, the low 16 bits store the ID of the thread that currently holds the lock.


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