/* Check the CPU has an FPU the official way.  */
static int __cpu_has_fpu(void)
/* Check the CPU has an FPU the official way.  */
static int __cpu_has_fpu(void)
{
	return ((cpu_get_fpu_id() & 0xff00) != FPIR_IMP_NONE);
}