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
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.