Searched refs:fpsw (Results 1 – 1 of 1) sorted by relevance
521 uint32_t fpcw, fpsw; in fpexterrflt() local549 fpsw = fp->fpu_regs.kfpu_u.kfpu_fn.f_fsw; in fpexterrflt()556 fpsw = fp->fpu_regs.kfpu_u.kfpu_fx.fx_fsw; in fpexterrflt()562 fpsw = fp->fpu_regs.kfpu_u.kfpu_xs.xs_fxsave.fx_fsw; in fpexterrflt()576 fp->fpu_regs.kfpu_status = fpsw; in fpexterrflt()578 if ((fpsw & FPS_ES) == 0) in fpexterrflt()585 return (fpe_sicode(fpsw & ~fpcw & 0x3f)); in fpexterrflt()