Wait Channel

Manages a list of sleeping threads

lock

void WaitChannel_Lock(WaitChannel *wc);

sleep

void WaitChannel_Sleep(WaitChanne; *wc);

wake

void WaitChannel_Wake(WaitChannel *wc);

wakeall

void WaitChannel_WakeAll(WaitChannel *wc);