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