1 // SPDX-License-Identifier: GPL-2.0 2 3 #include <linux/mutex.h> 4 5 void rust_helper_mutex_lock(struct mutex *lock) 6 { 7 mutex_lock(lock); 8 } 9 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 16 void rust_helper_mutex_assert_is_held(struct mutex *mutex) 17 { 18 lockdep_assert_held(mutex); 19 } 20