Searched defs:mutex_id (Results 1 – 1 of 1) sorted by relevance
762 let mutex_id = mutex_get_id(this, mutex_op)?; in pthread_cond_wait() localVariable781 let mutex_id = mutex_get_id(this, mutex_op)?; in pthread_cond_timedwait() localVariable814 mutex_id: MutexId, in pthread_cond_timedwait() field