- KeSaveFloatingPointState can be called at irql <= DISPATCH_LEVEL

svn path=/trunk/; revision=41354
This commit is contained in:
Johannes Anderwald 2009-06-09 07:15:37 +00:00
parent 0ba38df7fa
commit afe9096dba

View file

@ -934,7 +934,7 @@ NTAPI
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 */