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

#include <pthread.h>

Public Attributes

int __lock
unsigned int __count
int __owner
int __kind
unsigned int __depth

Member Data Documentation

◆ __count

unsigned int pthread_mutex_t::__count

◆ __depth

unsigned int pthread_mutex_t::__depth

◆ __kind

int pthread_mutex_t::__kind

◆ __lock

int pthread_mutex_t::__lock

◆ __owner

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