Searched refs:WaitChannel_Destroy (Results 1 – 4 of 4) sorted by relevance
35 WaitChannel_Destroy(&cv->chan); in CV_Destroy()
41 WaitChannel_Destroy(&mtx->chan); in Mutex_Destroy()
40 WaitChannel_Destroy(WaitChannel *wchan) in WaitChannel_Destroy() function
20 void WaitChannel_Destroy(WaitChannel *wc);