Searched defs:Wait (Results 1 - 5 of 5) sorted by relevance
| /seL4-l4v-master/HOL4/polyml/libpolyml/ | ||
| H A D | locking.cpp | 161 void PCondVar::Wait(PLock *pLock) function in class:PCondVar 286 bool PSemaphore::Wait(void) function in class:PSemaphore |
| H A D | basicio.cpp | 475 void WaitPoll::Wait(unsigned maxMillisecs) function in class:WaitPoll |
| H A D | unix_specific.cpp | 1163 virtual void Wait(unsigned maxMillisecs) function in class:WaitUpto |
| H A D | network.cpp | 541 void WaitSelect::Wait(unsigned maxMillisecs) function in class:WaitSelect |
| H A D | processes.cpp | 1107 void Waiter::Wait(unsigned maxMillisecs) function in class:Waiter 1132 void WaitHandle::Wait(unsigned maxMillisecs) function in class:WaitHandle 1145 void WaitInputFD::Wait(unsigned maxMillisecs) function in class:WaitInputFD [all...] |
Completed in 106 milliseconds