10#define SPINLOCK_NAMELEN 32
12#define SPINLOCK_TYPE_NORMAL 1
13#define SPINLOCK_TYPE_RECURSIVE 2
#define __LOCK_EX_ASSERT(_x)
void Spinlock_Unlock(Spinlock *lock) __UNLOCK_EX(*lock)
void Spinlock_EarlyInit()
void Spinlock_Destroy(Spinlock *lock)
bool Spinlock_IsHeld(Spinlock *lock) __LOCK_EX_ASSERT(*lock)
uint32_t Critical_Level()
void Spinlock_Lock(Spinlock *lock) __LOCK_EX(*lock)
void Spinlock_Init(Spinlock *lock, const char *name, uint64_t type)
TAILQ_ENTRY(Spinlock) lockStack
LIST_ENTRY(Spinlock) lockList
char name[SPINLOCK_NAMELEN]