我正在为windows732位编写设备驱动程序。我使用的是WDK版本7600.16385.1。到目前为止一切进展顺利，但prefast一直告诉我我弄乱了IRQL级别。特别是当我尝试锁定/解锁共享缓冲区时。我有一个表示缓冲区的结构，如下所示:typedefstruct_PORT_BUFFER{WDFMEMORYmMemory;PUCHARpucBuff;ULONGulSizeMax;ULONGulSizeCurr;ULONGulAdd;ULONGulRemove;ULONGulLost;WDFREQUESTrPending;BOOLEANbDMAing;WDFSPINLOCKslLock