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

Type used to define space for storing any of the exposed FreeRTOS semaphore types. More...

#include <semphr.h>

Collaboration diagram for StaticSemaphore_t:

Public Attributes

union { 
   struct RecursiveMutexState   recursiveMutex 
   struct FlagLockState   mutex 
   struct CountingSemaphoreState   semaphore 
}; 
 The state for the various kinds of FreeRTOS semaphores.
enum CheriotFreeRTOS_SemaphoreKind kind
 The discriminator for the union above.

Detailed Description

Type used to define space for storing any of the exposed FreeRTOS semaphore types.

Definition at line 86 of file semphr.h.

Member Data Documentation

◆ kind

enum CheriotFreeRTOS_SemaphoreKind StaticSemaphore_t::kind

The discriminator for the union above.

If only one kind of semaphore is supported, this is omitted.

Definition at line 111 of file semphr.h.

◆ mutex

struct FlagLockState StaticSemaphore_t::mutex

Definition at line 97 of file semphr.h.

◆ recursiveMutex

struct RecursiveMutexState StaticSemaphore_t::recursiveMutex

Definition at line 94 of file semphr.h.

◆ semaphore

struct CountingSemaphoreState StaticSemaphore_t::semaphore

Definition at line 100 of file semphr.h.


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