1// SPDX-License-Identifier: GPL-2.0
 2#include <linux/lockdep.h>
 3#include <stdlib.h>
 4
 5/* Trivial API wrappers, we don't (yet) have RCU in user-space: */
 6#define hlist_for_each_entry_rcu	hlist_for_each_entry
 7#define hlist_add_head_rcu		hlist_add_head
 8#define hlist_del_rcu			hlist_del
 9#define list_for_each_entry_rcu		list_for_each_entry
10#define list_add_tail_rcu		list_add_tail
11
12u32 prandom_u32(void)
13{
14	/* Used only by lock_pin_lock() which is dead code */
15	abort();
16}
17
18void print_irqtrace_events(struct task_struct *curr)
19{
20	abort();
21}
22
23static struct new_utsname *init_utsname(void)
24{
25	static struct new_utsname n = (struct new_utsname) {
26		.release = "liblockdep",
27		.version = LIBLOCKDEP_VERSION,
28	};
29
30	return &n;
31}
32
33#include "../../../kernel/locking/lockdep.c"