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