__get_smp_config  686 arch/x86/kernel/mpparse.c 	__get_smp_config(1);
__get_smp_config  691 arch/x86/kernel/mpparse.c 	__get_smp_config(0);