X86_BUG_ESPFIX   1421 arch/x86/kernel/cpu/common.c 			set_cpu_bug(c, X86_BUG_ESPFIX);
X86_BUG_ESPFIX   1424 arch/x86/kernel/cpu/common.c 	set_cpu_bug(c, X86_BUG_ESPFIX);