x86_sched_itmt_flags  534 arch/x86/kernel/smpboot.c 	return cpu_core_flags() | x86_sched_itmt_flags();
x86_sched_itmt_flags  540 arch/x86/kernel/smpboot.c 	return cpu_smt_flags() | x86_sched_itmt_flags();