alternatives_smp_switch  333 arch/x86/kernel/alternative.c void alternatives_smp_switch(int smp)
alternatives_smp_switch   72 include/asm-x86/alternative.h static inline void alternatives_smp_switch(int smp) {}