Searched defs:lock (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/
H A DPortableIsabelle.sml16 val lock = Mutex.mutex (); value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/
H A DPortableIsabelle.sml16 val lock = Mutex.mutex (); value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dlocking.h58 pthread_mutex_t lock; member in class:PLock
60 CRITICAL_SECTION lock; member in class:PLock
74 PLocker(PLock *lock): m_lock(lock) { m_lock->Lock(); } argument
H A Dgc_mark_phase.cpp544 PLock *lock = 0; local
[all...]
H A Dunix_specific.cpp1542 struct flock lock; local
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DForeignMemory.sml145 val lock = Thread.Mutex.mutex() value
H A DThread.sml129 val lock: mutex -> unit value
458 fun lock (m: mutex): unit = function
[all...]
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/
H A DFuture.sml115 val lock = Mutex.mutex (); value

Completed in 65 milliseconds