|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
State for a counting semaphore. More...
#include <locks.h>
Public Member Functions | |
| _Atomic (uint32_t) count | |
| The current counter value. | |
Public Attributes | |
| uint32_t | maxCount |
| The maximum value for the counter. | |
| uint32_t CountingSemaphoreState::maxCount |
The maximum value for the counter.
Definition at line 73 of file locks.h.
Referenced by xSemaphoreCreateCountingStatic().