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

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