// 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);
}