set_vsmp_ctl       27 arch/x86/kernel/vsmp_64.c static void __init set_vsmp_ctl(void)
set_vsmp_ctl       91 arch/x86/kernel/vsmp_64.c static void __init set_vsmp_ctl(void)