// SPDX-License-Identifier: GPL-2.0 #include <linux/mutex.h> __rust_helper void rust_helper_mutex_lock(struct mutex *lock){	mutex_lock(lock);} __rust_helper int rust_helper_mutex_trylock(struct mutex *lock){	return mutex_trylock(lock);} __rust_helper void rust_helper___mutex_init(struct mutex *mutex,					    const char *name,					    struct lock_class_key *key){	__mutex_init(mutex, name, key);} __rust_helper void rust_helper_mutex_assert_is_held(struct mutex *mutex){	lockdep_assert_held(mutex);} __rust_helper void rust_helper_mutex_destroy(struct mutex *lock){	mutex_destroy(lock);}