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