ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
pthread_rwlock_t Struct Reference

#include <pthread.h>

Public Attributes

int __readers
int __writer
unsigned int __waiters

Member Data Documentation

◆ __readers

int pthread_rwlock_t::__readers

◆ __waiters

unsigned int pthread_rwlock_t::__waiters

◆ __writer

int pthread_rwlock_t::__writer

The documentation for this struct was generated from the following file: