Searched refs:fpsw (Results 1 – 1 of 1) sorted by relevance
1386 uint32_t fpcw, fpsw; in fpexterrflt() local1413 fpsw = fp->fpu_regs.kfpu_u.kfpu_fx->fx_fsw; in fpexterrflt()1419 fpsw = fp->fpu_regs.kfpu_u.kfpu_xs->xs_fxsave.fx_fsw; in fpexterrflt()1434 fp->fpu_regs.kfpu_status = fpsw; in fpexterrflt()1436 if ((fpsw & FPS_ES) == 0) in fpexterrflt()1443 return (fpe_sicode(fpsw & ~fpcw & 0x3f)); in fpexterrflt()