FPU_divide_by_zero
if (FPU_divide_by_zero
asmlinkage int FPU_divide_by_zero(int deststnr, u_char sign);
if (FPU_divide_by_zero(1, sign) < 0)
if (FPU_divide_by_zero(1, sign) < 0)
if (FPU_divide_by_zero(0, SIGN_NEG) < 0)
return FPU_divide_by_zero(deststnr, sign);