31 #define SPINLOCK_INITIALIZER   {.owner = SPINLOCK_FREE,.count = 0}
36     NEED_VOLATILE_MUX uint32_t count;  member
48     lock->count = 0;  in spinlock_initialize()
90 …     assert(lock->count > 0 && lock->count < 0xFF);    // Bad count value implies memory corruption  in spinlock_acquire()
91         lock->count++;  in spinlock_acquire()
122 …  assert(lock->count == 0);   // This is the first time the lock is set, so count should still be 0  in spinlock_acquire()
123         lock->count++;  // Finally, we increment the lock count  in spinlock_acquire()
126         assert(lock->count < 0xFF); // Bad count value implies memory corruption  in spinlock_acquire()
161     lock->count--;  in spinlock_release()
163     if (!lock->count) { // If this is the last recursive release of the lock, mark the lock as free  in spinlock_release()
166         assert(lock->count < 0x100); // Indicates memory corruption  in spinlock_release()