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