linux/arch/x86/kernel/fpu/bugs.c

// SPDX-License-Identifier: GPL-2.0
/*
 * x86 FPU bug checks:
 */
#include <linux/printk.h>

#include <asm/cpufeature.h>
#include <asm/fpu/api.h>

/*
 * Boot time CPU/FPU FDIV bug detection code:
 */

static double __initdata x = …;
static double __initdata y = …;

/*
 * This used to check for exceptions..
 * However, it turns out that to support that,
 * the XMM trap handlers basically had to
 * be buggy. So let's have a correct XMM trap
 * handler, and forget about printing out
 * some status at boot.
 *
 * We should really only care about bugs here
 * anyway. Not features.
 */
void __init fpu__init_check_bugs(void)
{ … }