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