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

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.

Detailed Description

State for a counting semaphore.

Definition at line 63 of file locks.h.

Member Data Documentation

◆ maxCount

uint32_t CountingSemaphoreState::maxCount

The maximum value for the counter.

Definition at line 73 of file locks.h.

Referenced by xSemaphoreCreateCountingStatic().


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