tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/config.h

   1 /* SPDX-License-Identifier: GPL-2.0 */
   2 /* "Cheater" definitions based on restricted Kconfig choices. */
   3
   4 #undef CONFIG_TINY_RCU
   5 #undef __CHECKER__
   6 #undef CONFIG_DEBUG_LOCK_ALLOC
   7 #undef CONFIG_DEBUG_OBJECTS_RCU_HEAD
   8 #undef CONFIG_HOTPLUG_CPU
   9 #undef CONFIG_MODULES
  10 #undef CONFIG_NO_HZ_FULL_SYSIDLE
  11 #undef CONFIG_PREEMPT_COUNT
  12 #undef CONFIG_PREEMPT_RCU
  13 #undef CONFIG_PROVE_RCU
  14 #undef CONFIG_RCU_NOCB_CPU
  15 #undef CONFIG_RCU_NOCB_CPU_ALL
  16 #undef CONFIG_RCU_STALL_COMMON
  17 #undef CONFIG_RCU_TRACE
  18 #undef CONFIG_RCU_USER_QS
  19 #undef CONFIG_TASKS_RCU
  20 #define CONFIG_TREE_RCU
  21
  22 #define CONFIG_GENERIC_ATOMIC64
  23
  24 #if NR_CPUS > 1
  25 #define CONFIG_SMP
  26 #else
  27 #undef CONFIG_SMP
  28 #endif