convert_from_fxsr
extern void convert_from_fxsr(struct user_i387_ia32_struct *env,
convert_from_fxsr(&env, tsk);