Searched refs:fx_fsw (Results 1 – 5 of 5) sorted by relevance
1413 fpsw = fp->fpu_regs.kfpu_u.kfpu_fx->fx_fsw; in fpexterrflt()1415 fp->fpu_regs.kfpu_u.kfpu_fx->fx_fsw &= ~FPS_SW_EFLAGS; in fpexterrflt()1419 fpsw = fp->fpu_regs.kfpu_u.kfpu_xs->xs_fxsave.fx_fsw; in fpexterrflt()1421 fp->fpu_regs.kfpu_u.kfpu_xs->xs_fxsave.fx_fsw &= ~FPS_SW_EFLAGS; in fpexterrflt()1484 fp->fpu_regs.kfpu_u.kfpu_xs->xs_fxsave.fx_fsw; in fpsimderrflt()1487 fp->fpu_regs.kfpu_status = fp->fpu_regs.kfpu_u.kfpu_fx->fx_fsw; in fpsimderrflt()
84 fx->fx_fsw = fn->f_fsw; in fnsave_to_fxsave()117 fn->f_fsw = fx->fx_fsw; in fxsave_to_fnsave()120 top = (fx->fx_fsw & FPS_TOP) >> 11; in fxsave_to_fnsave()
214 uint16_t fx_fsw; member
169 fx_fsw FXSAVE_STATE_FSW
1492 (void) printf("fpu_fsw[%d]\t\t0x%04x\n", vcpuid, fx->fx_fsw); in show_fpu()