ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
pthread_spinlock_t Struct Reference
#include <
pthread.h
>
Public Attributes
int
__lock
unsigned
int
__waiters
Member Data Documentation
◆
__lock
int
pthread_spinlock_t::__lock
◆
__waiters
unsigned
int
pthread_spinlock_t::__waiters
The documentation for this struct was generated from the following file:
src/c2goto/headers/
pthread.h
pthread_spinlock_t
Generated by
1.15.0