Searched refs:witness1 (Results 1 – 2 of 2) sorted by relevance
130 mutex_addr_comp(const witness_t *witness1, void *mutex1, in mutex_addr_comp() argument
566 @@ -131,6 +142,16 @@ mutex_addr_comp(const witness_t *witness1, void *mutex1,