| bart | f27eba2 | 2010-06-02 19:32:51 +0000 | [diff] [blame] | 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); | ||||