Searched refs:mutex_post_destroy (Results 1 – 3 of 3) sorted by relevance
41 void DRD_(mutex_post_destroy)(const Addr mutex);
214 void DRD_(mutex_post_destroy)(const Addr mutex) in DRD_() argument
325 DRD_(mutex_post_destroy)(arg[1]); in handle_client_request() local