convert_to_fxsr
extern void convert_to_fxsr(struct fxregs_state *fxsave,
convert_to_fxsr(&fpu->fpstate->regs.fxsave, &env);
convert_to_fxsr(&fpregs->fxsave, &env);