Searched refs:safe_pthread_barrier_destroy (Results 1 – 2 of 2) sorted by relevance
38 int safe_pthread_barrier_destroy(const char *file, const int lineno,41 safe_pthread_barrier_destroy(__FILE__, __LINE__, barrier);
61 int safe_pthread_barrier_destroy(const char *file, const int lineno, in safe_pthread_barrier_destroy() function