// 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);} __rust_helper void rust_helper_lockdep_assert_irqs_disabled(void){	lockdep_assert_irqs_disabled();}