Searched refs:mutex2 (Results 1 – 3 of 3) sorted by relevance
138 const witness_t *witness2, void *mutex2) { in mutex_addr_comp() 140 assert(mutex2 != NULL); in mutex_addr_comp() 142 uintptr_t mu2int = (uintptr_t)mutex2; in mutex_addr_comp() 131 mutex_addr_comp(const witness_t * witness1,void * mutex1,const witness_t * witness2,void * mutex2) mutex_addr_comp() argument
175 ATF_TC(mutex2);176 ATF_TC_HEAD(mutex2, tc) in ATF_TC_HEAD() argument185 ATF_TC_BODY(mutex2, tc) in ATF_TC_BODY() argument826 ATF_TP_ADD_TC(tp, mutex2); in ATF_TP_ADD_TCS()