1 /* Make the value of PTHREAD_COND_INITIALIZER available to DRD. */ 2 3 #include "drd_cond.h" 4 #include <pthread.h> 5 6 static pthread_cond_t pthread_cond_initializer = PTHREAD_COND_INITIALIZER; 7 Addr DRD_(pthread_cond_initializer) = (Addr)&pthread_cond_initializer; 8 int DRD_(pthread_cond_initializer_size) = sizeof(pthread_cond_initializer); 9
