[I8042PRT] Restore 1 "Irql =" (which was lost in r30000). CORE-13048
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);
}