Index: ntoskrnl/ke/i386/cpu.c
===================================================================
--- ntoskrnl/ke/i386/cpu.c	(révision 61008)
+++ ntoskrnl/ke/i386/cpu.c	(copie de travail)
@@ -1347,6 +1347,7 @@
         {
             /* Get the FX frame and store the state there */
             FxSaveArea = KiGetThreadNpxArea(NpxThread);
+            NT_ASSERT(((ULONG_PTR)FxSaveArea & 0xF) == 0);
             Ke386FxSave(FxSaveArea);
 
             /* NPX thread has lost its state */
@@ -1372,7 +1373,11 @@
         Thread->NpxState = NPX_STATE_NOT_LOADED;
 
         /* Save state if supported by CPU */
-        if (KeI386FxsrPresent) Ke386FxSave(FxSaveArea);
+        if (KeI386FxsrPresent)
+        {
+            NT_ASSERT(((ULONG_PTR)FxSaveArea & 0xF) == 0);
+            Ke386FxSave(FxSaveArea);
+        }
     }
 
     /* Now save the FN state wherever it was requested */