[janderwald] 41354: - KeSaveFloatingPointState can be called at irql <= DISPATCH_LEVEL

Author: janderwald
Date: Tue Jun  9 11:15:37 2009
New Revision: 41354

URL: http://svn.reactos.org/svn/reactos?rev=41354&view=rev
Log:
- KeSaveFloatingPointState can be called at irql <= DISPATCH_LEVEL

Modified:
    trunk/reactos/ntoskrnl/ke/i386/cpu.c

Modified: trunk/reactos/ntoskrnl/ke/i386/cpu.c
URL:
http://svn.reactos.org/svn/reactos/trunk/reactos/ntoskrnl/ke/i386/cpu.c?rev…
==============================================================================
--- trunk/reactos/ntoskrnl/ke/i386/cpu.c [iso-8859-1] (original)
+++ trunk/reactos/ntoskrnl/ke/i386/cpu.c [iso-8859-1] Tue Jun  9 11:15:37 2009
@@ -934,7 +934,7 @@
 KeSaveFloatingPointState(OUT PKFLOATING_SAVE Save)
 {
     PFNSAVE_FORMAT FpState;
-    ASSERT(KeGetCurrentIrql() == DISPATCH_LEVEL);
+    ASSERT(KeGetCurrentIrql() <= DISPATCH_LEVEL);
     DPRINT1("%s is not really implemented\n", __FUNCTION__);
 
     /* check if we are doing software emulation */