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}