Linux kernel mirror (for testing)
git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
tjh.dev
kernel
os
linux
1// SPDX-License-Identifier: GPL-2.0
2
3#include <linux/mutex.h>
4
5void rust_helper_mutex_lock(struct mutex *lock)
6{
7 mutex_lock(lock);
8}
9
10void 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
16void rust_helper_mutex_assert_is_held(struct mutex *mutex)
17{
18 lockdep_assert_held(mutex);
19}