250
253
int safe_cond_timedwait(pthread_cond_t *cond, safe_mutex_t *mp,
251
254
struct timespec *abstime, const char *file, uint32_t line);
252
255
void safe_mutex_global_init(void);
255
258
/* Wrappers if safe mutex is actually used */
256
259
#define safe_mutex_assert_owner(mp)