Copyright
Digital Equipment Corp.
All rights reserved.
C_Binding
#include <pthread.h> void pthread_exit ( void *value_ptr);