linux/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/config.h
<<
>>
Prefs
   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
  28