#include <coresem.h>

Data Fields | |
| Thread_queue_Control | Wait_queue |
| CORE_semaphore_Attributes | Attributes |
| uint32_t | count |
This field is the Waiting Queue used to manage the set of tasks which are blocked waiting to obtain the semaphore.
Referenced by _CORE_semaphore_Seize_isr_disable().
This element is the set of attributes which define this instance's behavior.
| uint32_t CORE_semaphore_Control::count |
This element contains the current count of this semaphore.
Referenced by _CORE_semaphore_Get_count(), and _CORE_semaphore_Seize_isr_disable().
1.5.6