version 1.53, 2007/09/10 11:34:05 |
version 1.54, 2007/09/11 18:11:29 |
Line 257 void pthread__membar_producer(void); |
|
Line 257 void pthread__membar_producer(void); |
|
void pthread__membar_consumer(void); |
void pthread__membar_consumer(void); |
|
|
int pthread__mutex_owned(pthread_t, pthread_mutex_t *); |
int pthread__mutex_owned(pthread_t, pthread_mutex_t *); |
|
int pthread__mutex_catchup(pthread_mutex_t *); |
|
|
#ifndef pthread__smt_pause |
#ifndef pthread__smt_pause |
#define pthread__smt_pause() /* nothing */ |
#define pthread__smt_pause() /* nothing */ |