ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
spinlock_t Struct Reference
#include <
spinlock.h
>
Public Attributes
bool
locked
Member Data Documentation
◆
locked
bool
spinlock_t::locked
The documentation for this struct was generated from the following file:
src/c2goto/headers/ubuntu20.04/kernel_5.15.0-76/include/linux/
spinlock.h
spinlock_t
Generated by
1.15.0