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: