Searched refs:Unlock (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dlocking.h53 void Unlock(void); // Unlock the mutex
75 ~PLocker() { m_lock->Unlock(); }
H A Dgctaskfarm.cpp177 workLock.Unlock();
191 workLock.Unlock();
225 workLock.Unlock();
259 workLock.Unlock();
H A Dprocesses.cpp444 /* Unlock a mutex. Called after decrementing the count and discovering
455 // Unlock any waiters.
525 // Unlock any waiters.
575 // Unlock any waiters.
642 processesModule.schedLock.Unlock();
655 processesModule.schedLock.Unlock();
858 schedLock.Unlock();
1508 schedLock.Unlock();
1542 schedLock.Unlock();
1558 schedLock.Unlock();
[all...]
H A Dsighandler.cpp144 sigLock.Unlock();
248 sigLock.Unlock();
258 sigLock.Unlock();
H A Dlocking.cpp121 void PLock::Unlock(void) function in class:PLock
H A Dgc_mark_phase.cpp576 lock->Unlock();
587 lock->Unlock();
H A Drealconv.cpp574 #define FREE_DTOA_LOCK(n) { dtoaLocks[n].Unlock(); }
/seL4-l4v-master/HOL4/polyml/basis/
H A DThread.sml209 (*!Unlock a mutex and allow any waiting threads to run. The behaviour
665 Mutex.unlock m; (* Unlock the external mutex *)

Completed in 175 milliseconds