X86_BUG_F00F      401 arch/x86/kernel/cpu/intel.c 	clear_cpu_bug(c, X86_BUG_F00F);
X86_BUG_F00F      405 arch/x86/kernel/cpu/intel.c 		set_cpu_bug(c, X86_BUG_F00F);
X86_BUG_F00F       39 arch/x86/kernel/cpu/proc.c 		   boot_cpu_has_bug(X86_BUG_F00F) ? "yes" : "no",
X86_BUG_F00F      564 arch/x86/mm/fault.c 	if (boot_cpu_has_bug(X86_BUG_F00F)) {