CORE-13048. [I8042PRT] keyboard.c: Restore 1 "Irql =" (which was lost in r30000). (#63)

[I8042PRT] Restore 1 "Irql =" (which was lost in r30000). CORE-13048
This commit is contained in:
Serge Gautherie 2017-10-23 21:18:27 +02:00 committed by Thomas Faber
parent b46d3ce5e9
commit deb9c5416f

View file

@ -369,7 +369,10 @@ i8042KbdDpcRoutine(
DeviceExtension->KeyboardBuffer + KeysInBufferCopy,
&KeysTransferred);
KeAcquireInterruptSpinLock(PortDeviceExtension->HighestDIRQLInterrupt);
/* Validate that the callback didn't change the Irql. */
ASSERT(KeGetCurrentIrql() == Irql);
Irql = KeAcquireInterruptSpinLock(PortDeviceExtension->HighestDIRQLInterrupt);
DeviceExtension->KeysInBuffer -= KeysTransferred;
KeReleaseInterruptSpinLock(PortDeviceExtension->HighestDIRQLInterrupt, Irql);
}