Searched refs:WaitChannel_Init (Results 1 – 4 of 4) sorted by relevance
27 WaitChannel_Init(&cv->chan, name); in CV_Init()
33 WaitChannel_Init(&mtx->chan, name); in Mutex_Init()
28 WaitChannel_Init(WaitChannel *wchan, const char *name) in WaitChannel_Init() function
19 void WaitChannel_Init(WaitChannel *wc, const char *name);