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;