Searched refs:fx_fcw (Results 1 – 4 of 4) sorted by relevance
991 .fx_fcw = FPU_CW_INIT,1086 cfx->fx_fcw = fx->fx_fcw; in fp_new_lwp()1100 cfx->fx_fcw = fx->fx_fcw; in fp_new_lwp()1414 fpcw = fp->fpu_regs.kfpu_u.kfpu_fx->fx_fcw; in fpexterrflt()1420 fpcw = fp->fpu_regs.kfpu_u.kfpu_xs->xs_fxsave.fx_fcw; in fpexterrflt()1596 fx->fx_fcw = fcw; in fpsetcw()1602 fx->fx_fcw = fcw; in fpsetcw()2046 fx->fx_fcw = FPU_CW_INIT_HW; in fpu_xsave_to_fxsave()2053 fx->fx_fcw = FPU_CW_INIT_HW; in fpu_xsave_to_fxsave()
83 fx->fx_fcw = fn->f_fcw; in fnsave_to_fxsave()115 fn->f_fcw = fx->fx_fcw; in fxsave_to_fnsave()
213 uint16_t fx_fcw; member
1491 (void) printf("fpu_fcw[%d]\t\t0x%04x\n", vcpuid, fx->fx_fcw); in show_fpu()