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