X86_BUG_FDIV       38 arch/x86/kernel/cpu/proc.c 		   boot_cpu_has_bug(X86_BUG_FDIV) ? "yes" : "no",
X86_BUG_FDIV       56 arch/x86/kernel/fpu/bugs.c 		set_cpu_bug(&boot_cpu_data, X86_BUG_FDIV);