vsmp_init          37 arch/x86/include/asm/setup.h void vsmp_init(void);
vsmp_init        1200 arch/x86/kernel/setup.c 	vsmp_init();