1 files changed, 21 insertions, 0 deletions
diff --git a/kernel/tools/lib/lockdep/uinclude/linux/rcu.h b/kernel/tools/lib/lockdep/uinclude/linux/rcu.h
new file mode 100644
index 000000000..042ee8e46
--- /dev/null
+++ b/kernel/tools/lib/lockdep/uinclude/linux/rcu.h
@@ -0,0 +1,21 @@
+#ifndef _LIBLOCKDEP_RCU_H_
+#define _LIBLOCKDEP_RCU_H_
+
+int rcu_scheduler_active;
+
+static inline int rcu_lockdep_current_cpu_online(void)
+{
+	return 1;
+}
+
+static inline int rcu_is_cpu_idle(void)
+{
+	return 1;
+}
+
+static inline bool rcu_is_watching(void)
+{
+	return false;
+}
+
+#endif