Copyright Digital Equipment Corp. All rights reserved.
#include <pthread.h> int pthread_unlock_global_np (void);