11#include <sys/kassert.h>
12#include <sys/kconfig.h>
13#include <sys/kdebug.h>
17#include <sys/thread.h>
18#include <sys/spinlock.h>
19#include <sys/waitchannel.h>
uint32_t Critical_Level()
#define SPINLOCK_TYPE_NORMAL
void Spinlock_Destroy(Spinlock *lock)
void Spinlock_Init(Spinlock *lock, const char *name, uint64_t type)
void Mutex_Destroy(Mutex *mtx)
void Mutex_Unlock(Mutex *mtx)
void Mutex_Lock(Mutex *mtx)
Thread * curProc[MAX_CPUS]
void Mutex_Init(Mutex *mtx, const char *name)
int Mutex_TryLock(Mutex *mtx)
void WaitChannel_Init(WaitChannel *wc, const char *name)
void WaitChannel_Destroy(WaitChannel *wc)