#include <corespinlock.h>

Data Fields | |
| CORE_spinlock_Attributes | Attributes |
| volatile uint32_t | lock |
| volatile uint32_t | users |
| volatile Objects_Id | holder |
XXX may not be needed
| volatile uint32_t CORE_spinlock_Control::lock |
This field is the lock.
| volatile uint32_t CORE_spinlock_Control::users |
This field is a count of the current number of threads using this spinlock. It includes the thread holding the lock as well as those waiting.
Referenced by _CORE_spinlock_Is_busy().
| volatile Objects_Id CORE_spinlock_Control::holder |
This field is the Id of the thread holding the lock. It may or may not be the thread which acquired it.
1.5.6