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
7
typedef
struct
{
8
bool
locked
;
9
}
spinlock_t
;
10
11
void
spin_lock_init
(
spinlock_t
*lock);
12
13
bool
spin_lock
(
spinlock_t
*lock);
14
15
void
spin_unlock
(
spinlock_t
*lock);
spin_lock
bool spin_lock(spinlock_t *lock)
Definition
kernel.c:132
spin_lock_init
void spin_lock_init(spinlock_t *lock)
Definition
kernel.c:123
spin_unlock
void spin_unlock(spinlock_t *lock)
Definition
kernel.c:150
stdbool.h
spinlock_t
Definition
spinlock.h:7
spinlock_t::locked
bool locked
Definition
spinlock.h:8
src
c2goto
headers
ubuntu20.04
kernel_5.15.0-76
include
linux
spinlock.h
Generated by
1.15.0