1 // SPDX-License-Identifier: GPL-2.0
2
3 #include <linux/export.h>
4 #include <linux/spinlock.h>
5
6 void rust_helper___spin_lock_init(spinlock_t *lock, const char *name,
7 struct lock_class_key *key)
8 {
9 #ifdef CONFIG_DEBUG_SPINLOCK
10 __raw_spin_lock_init(spinlock_check(lock), name, key, LD_WAIT_CONFIG);
11 #else
12 spin_lock_init(lock);
13 #endif
14 }
15
16 void rust_helper_spin_lock(spinlock_t *lock)
17 {
18 spin_lock(lock);
19 }
20
21 void rust_helper_spin_unlock(spinlock_t *lock)
22 {
23 spin_unlock(lock);
24 }
25
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.