| #include <FreeRTOS-Compat/FreeRTOS.h> | |
| #if (CHERIOT_FREERTOS_SEMAPHORE + CHERIOT_FREERTOS_MUTEX + \ | |
| CHERIOT_FREERTOS_RECURSIVE_MUTEX) == 1 | |
| #if CHERIOT_FREERTOS_SEMAPHORE == 1 | |
| _Static_assert(sizeof(StaticSemaphore_t) == sizeof(struct CountingSemaphoreState); | |
| #elif CHERIOT_FREERTOS_MUTEX == 1 | |
| _Static_assert(sizeof(StaticSemaphore_t) == sizeof(struct FlagLockState)); | |
| #else | |
| _Static_assert(sizeof(StaticSemaphore_t) == sizeof(struct RecursiveMutexState)); | |
| #endif | |
| #endif |