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