ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
spinlock.h
Go to the documentation of this file.
1/* SPDX-License-Identifier: GPL-2.0 */
2#include <stdatomic.h>
3#include <stdbool.h>
4/* The declarations of mock spin lock behavior*/
6#define SPIN_LIMIT 80
7typedef struct {
8 bool locked;
10
11void spin_lock_init(spinlock_t *lock);
12
13bool spin_lock(spinlock_t *lock);
14
15void spin_unlock(spinlock_t *lock);
bool spin_lock(spinlock_t *lock)
Definition kernel.c:132
void spin_lock_init(spinlock_t *lock)
Definition kernel.c:123
void spin_unlock(spinlock_t *lock)
Definition kernel.c:150
Definition spinlock.h:7
bool locked
Definition spinlock.h:8