vsmp_init         991 arch/x86/kernel/setup.c 	vsmp_init();
vsmp_init           9 include/asm-x86/setup.h void vsmp_init(void);