mutex.c

 1// SPDX-License-Identifier: GPL-2.0
 2
 3#include <linux/mutex.h>
 4
 5void rust_helper_mutex_lock(struct mutex *lock)
 6{
 7	mutex_lock(lock);
 8}
 9
10int rust_helper_mutex_trylock(struct mutex *lock)
11{
12	return mutex_trylock(lock);
13}
14
15void rust_helper___mutex_init(struct mutex *mutex, const char *name,
16			      struct lock_class_key *key)
17{
18	__mutex_init(mutex, name, key);
19}
20
21void rust_helper_mutex_assert_is_held(struct mutex *mutex)
22{
23	lockdep_assert_held(mutex);
24}
25
26void rust_helper_mutex_destroy(struct mutex *lock)
27{
28	mutex_destroy(lock);
29}