f00f_workaround_enabled  403 arch/x86/kernel/cpu/intel.c 		static int f00f_workaround_enabled;
f00f_workaround_enabled  406 arch/x86/kernel/cpu/intel.c 		if (!f00f_workaround_enabled) {
f00f_workaround_enabled  408 arch/x86/kernel/cpu/intel.c 			f00f_workaround_enabled = 1;