// SPDX-License-Identifier: GPL-2.0 | |
#include <linux/export.h> | |
#include <linux/spinlock.h> | |
void rust_helper___spin_lock_init(spinlock_t *lock, const char *name, | |
struct lock_class_key *key) | |
{ | |
#ifdef CONFIG_DEBUG_SPINLOCK | |
__raw_spin_lock_init(spinlock_check(lock), name, key, LD_WAIT_CONFIG); | |
#else | |
spin_lock_init(lock); | |
#endif | |
} | |
void rust_helper_spin_lock(spinlock_t *lock) | |
{ | |
spin_lock(lock); | |
} | |
void rust_helper_spin_unlock(spinlock_t *lock) | |
{ | |
spin_unlock(lock); | |
} |