CONFIG_PROVE_RCU 442 include/linux/cgroup.h #ifdef CONFIG_PROVE_RCU CONFIG_PROVE_RCU 198 include/linux/rcupdate.h #if defined(CONFIG_HOTPLUG_CPU) && defined(CONFIG_PROVE_RCU) CONFIG_PROVE_RCU 253 include/linux/rcupdate.h #ifdef CONFIG_PROVE_RCU CONFIG_PROVE_RCU 269 include/linux/rcupdate.h #if defined(CONFIG_PROVE_RCU) && !defined(CONFIG_PREEMPT_RCU) CONFIG_PROVE_RCU 43 include/linux/sched/task.h #ifdef CONFIG_PROVE_RCU CONFIG_PROVE_RCU 83 kernel/cgroup/cgroup.c #ifdef CONFIG_PROVE_RCU CONFIG_PROVE_RCU 141 kernel/fork.c #ifdef CONFIG_PROVE_RCU CONFIG_PROVE_RCU 926 kernel/rcu/tree.c #if defined(CONFIG_PROVE_RCU) && defined(CONFIG_HOTPLUG_CPU) CONFIG_PROVE_RCU 37 kernel/rcu/tree_plugin.h if (IS_ENABLED(CONFIG_PROVE_RCU)) CONFIG_PROVE_RCU 17 kernel/rcu/tree_stall.h #ifdef CONFIG_PROVE_RCU CONFIG_PROVE_RCU 613 kernel/rcu/tree_stall.h if (!IS_ENABLED(CONFIG_PROVE_RCU) || rcu_gp_in_progress() || CONFIG_PROVE_RCU 206 kernel/rcu/update.c if (!IS_ENABLED(CONFIG_PROVE_RCU)) CONFIG_PROVE_RCU 838 kernel/rcu/update.c #ifdef CONFIG_PROVE_RCU