// SPDX-License-Identifier: GPL-2.0 #include <linux/lockdep.h> __rust_helper void rust_helper_lockdep_register_key(struct lock_class_key *k){	lockdep_register_key(k);} __rust_helper void rust_helper_lockdep_unregister_key(struct lock_class_key *k){	lockdep_unregister_key(k);}