FPIR_IMP_NONE
c->fpu_id = FPIR_IMP_NONE;
return (cpu_get_fpu_id() & FPIR_IMP_MASK) != FPIR_IMP_NONE;
return FPIR_IMP_NONE;