Searched defs:mutex1 (Results 1 – 4 of 4) sorted by relevance
130 mutex_addr_comp(const witness_t * witness1,void * mutex1,const witness_t * witness2,void * mutex2) mutex_addr_comp() argument
101 ATF_TC_HEAD(mutex1, tc) in ATF_TC_HEAD() argument105 ATF_TC_BODY(mutex1, tc) in ATF_TC_BODY() argument
3331 mutex1: mutex@1c101000 { label