rcu.h (437B)
1/* SPDX-License-Identifier: GPL-2.0 */ 2#ifndef _LIBLOCKDEP_RCU_H_ 3#define _LIBLOCKDEP_RCU_H_ 4 5int rcu_scheduler_active; 6 7static inline int rcu_lockdep_current_cpu_online(void) 8{ 9 return 1; 10} 11 12static inline int rcu_is_cpu_idle(void) 13{ 14 return 1; 15} 16 17static 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