x86_core_flags    550 arch/x86/kernel/smpboot.c 	{ cpu_coregroup_mask, x86_core_flags, SD_INIT_NAME(MC) },
x86_core_flags    560 arch/x86/kernel/smpboot.c 	{ cpu_coregroup_mask, x86_core_flags, SD_INIT_NAME(MC) },