cpu_f00f_bug     1245 arch/i386/i386/machdep.c 	if (!cpu_f00f_bug) {
cpu_f00f_bug     2755 arch/i386/i386/machdep.c int cpu_f00f_bug = 0;
cpu_f00f_bug     2786 arch/i386/i386/machdep.c 	cpu_f00f_bug = 1;
cpu_f00f_bug      342 arch/i386/include/cpu.h extern int cpu_f00f_bug;