1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _LIBLOCKDEP_RCU_H_
3 #define _LIBLOCKDEP_RCU_H_
4 
5 int rcu_scheduler_active;
6 
rcu_lockdep_current_cpu_online(void)7 static inline int rcu_lockdep_current_cpu_online(void)
8 {
9 	return 1;
10 }
11 
rcu_is_cpu_idle(void)12 static inline int rcu_is_cpu_idle(void)
13 {
14 	return 1;
15 }
16 
rcu_is_watching(void)17 static inline bool rcu_is_watching(void)
18 {
19 	return false;
20 }
21 
22 #define rcu_assign_pointer(p, v)	do { (p) = (v); } while (0)
23 #define RCU_INIT_POINTER(p, v)	do { (p) = (v); } while (0)
24 
25 #endif
26