| /* SPDX-License-Identifier: GPL-2.0 */ | |
| #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; | |
| } | |
| #define rcu_assign_pointer(p, v) do { (p) = (v); } while (0) | |
| #define RCU_INIT_POINTER(p, v) do { (p) = (v); } while (0) | |
| #endif |