commit 661a4e5f793c7cd90fd0b90e7430fa8ed6f17e70
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Sun Apr 20 15:22:31 2025 +0200

    fpu_get/set_state: Do not convert tag between fxsr and i387
    
    i386_XFLOAT_STATE does expect fxsr tag.

diff --git a/i386/i386/fpu.c b/i386/i386/fpu.c
index 71c6cdd8..18440ad0 100644
--- a/i386/i386/fpu.c
+++ b/i386/i386/fpu.c
@@ -485,7 +485,7 @@ ASSERT_IPL(SPL0);
 		struct i386_xfp_save *user_fp_state = (struct i386_xfp_save *) &xfstate->hw_state[0];
 		ifps->xfp_save_state.fp_control = user_fp_state->fp_control;
 		ifps->xfp_save_state.fp_status  = user_fp_state->fp_status;
-		ifps->xfp_save_state.fp_tag     = twd_i387_to_fxsr(user_fp_state->fp_tag);
+		ifps->xfp_save_state.fp_tag     = user_fp_state->fp_tag;
 		ifps->xfp_save_state.fp_eip     = user_fp_state->fp_eip;
 		ifps->xfp_save_state.fp_cs      = user_fp_state->fp_cs;
 		ifps->xfp_save_state.fp_opcode  = user_fp_state->fp_opcode;
@@ -618,7 +618,7 @@ ASSERT_IPL(SPL0);
 
 	    user_fp_state->fp_control = ifps->xfp_save_state.fp_control;
 	    user_fp_state->fp_status  = ifps->xfp_save_state.fp_status;
-	    user_fp_state->fp_tag     = twd_fxsr_to_i387(&ifps->xfp_save_state);
+	    user_fp_state->fp_tag     = ifps->xfp_save_state.fp_tag;
 	    user_fp_state->fp_eip     = ifps->xfp_save_state.fp_eip;
 	    user_fp_state->fp_cs      = ifps->xfp_save_state.fp_cs;
 	    user_fp_state->fp_opcode  = ifps->xfp_save_state.fp_opcode;
