CONFIG_NR_CPUS     19 arch/x86/entry/vdso/vdso32/vclock_gettime.c #undef CONFIG_NR_CPUS
CONFIG_NR_CPUS     25 arch/x86/entry/vdso/vdso32/vclock_gettime.c #define CONFIG_NR_CPUS 1
CONFIG_NR_CPUS     17 include/linux/threads.h #define CONFIG_NR_CPUS	1