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