1 /* SPDX-License-Identifier: GPL-2.0 */ 1
2 #ifndef _LIBLOCKDEP_RCU_H_
3 #define _LIBLOCKDEP_RCU_H_
4
5 int rcu_scheduler_active;
6
7 static inline int rcu_lockdep_current_cpu_onli
8 {
9 return 1;
10 }
11
12 static inline int rcu_is_cpu_idle(void)
13 {
14 return 1;
15 }
16
17 static inline bool rcu_is_watching(void)
18 {
19 return false;
20 }
21
22 #define rcu_assign_pointer(p, v) do { (
23 #define RCU_INIT_POINTER(p, v) do { (p) = (v)
24
25 #endif
26
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.