is_vsmp_box       129 arch/x86/kernel/vsmp_64.c int is_vsmp_box(void)
is_vsmp_box       142 arch/x86/kernel/vsmp_64.c int is_vsmp_box(void)