CONFIG_SMP 25 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/config.h #define CONFIG_SMP CONFIG_SMP 27 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/config.h #undef CONFIG_SMP CONFIG_SMP 20 tools/virtio/linux/kernel.h #define CONFIG_SMP