1 // SPDX-License-Identifier: GPL-2.0
2 
3 #include <linux/mutex.h>
4 
rust_helper_mutex_lock(struct mutex * lock)5 void rust_helper_mutex_lock(struct mutex *lock)
6 {
7 	mutex_lock(lock);
8 }
9 
rust_helper___mutex_init(struct mutex * mutex,const char * name,struct lock_class_key * key)10 void rust_helper___mutex_init(struct mutex *mutex, const char *name,
11 			      struct lock_class_key *key)
12 {
13 	__mutex_init(mutex, name, key);
14 }
15 
rust_helper_mutex_assert_is_held(struct mutex * mutex)16 void rust_helper_mutex_assert_is_held(struct mutex *mutex)
17 {
18 	lockdep_assert_held(mutex);
19 }
20