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