rust/helpers/mutex.c

   1 // SPDX-License-Identifier: GPL-2.0
   2
   3 #include <linux/mutex.h>
   4
   5 void rust_helper_mutex_lock(struct mutex *lock)
   6 {
   7         mutex_lock(lock);
   8 }
   9
  10 void rust_helper___mutex_init(struct mutex *mutex, const char *name,
  11                               struct lock_class_key *key)
  12 {
  13         __mutex_init(mutex, name, key);
  14 }