1 // SPDX-License-Identifier: GPL-2.0
2 
3 #include <linux/lockdep.h>
4 
rust_helper_lockdep_register_key(struct lock_class_key * k)5 void rust_helper_lockdep_register_key(struct lock_class_key *k)
6 {
7 	lockdep_register_key(k);
8 }
9 
rust_helper_lockdep_unregister_key(struct lock_class_key * k)10 void rust_helper_lockdep_unregister_key(struct lock_class_key *k)
11 {
12 	lockdep_unregister_key(k);
13 }
14