tools/include/linux/rcu.h

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