is_vsmp_box        73 arch/x86/kernel/vsmp_64.c static int is_vsmp_box(void)
is_vsmp_box        87 arch/x86/kernel/vsmp_64.c static int is_vsmp_box(void)