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

#include <pthread.h>

Public Attributes

int __lock
unsigned int __futex
unsigned int __nwaiters

Member Data Documentation

◆ __futex

unsigned int pthread_cond_t::__futex

◆ __lock

int pthread_cond_t::__lock

◆ __nwaiters

unsigned int pthread_cond_t::__nwaiters

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