disable_smp      1354 arch/x86/kernel/smpboot.c 		disable_smp();
disable_smp      1357 arch/x86/kernel/smpboot.c 		disable_smp();