C_Binding

   #include <pthread.h>

   int
   pthread_rwlock_unlock (
            pthread_rwlock_t   *rwlock);