P
Peter Skvarka
Guest
Hello,
I have driver verifier with activated standard settings including Force IRQL Checking and kernel thread from my driver calls NdisAcquireSpinLock. I receive bugcheck IRQL_NOT_LESS_OR_EQUAL with stack:
00 96259c34 830e5a9e nt!MiEmptyWorkingSet+0x164
01 96259c5c 833341f4 nt!MiTrimAllSystemPagableMemory+0x1ce
02 96259c7c 8333dde8 nt!MmVerifierTrimMemory+0xdd
03 96259c94 8333e33f nt!ViKeRaiseIrqlSanityChecks+0xb8
04 96259cb0 8dc0c6a4 nt!VerifierKfAcquireSpinLock+0x50
05 96259cdc 8dc19931 MyDriver!Function
...
Function is called from kernel thread on passive level.
Spin lock resides in memory allocated with NdisAllocateMemoryWithTag so it is in non-pageable memory. Why verifier crashes on NdisAcquireSpinLock ?
Continue reading...
I have driver verifier with activated standard settings including Force IRQL Checking and kernel thread from my driver calls NdisAcquireSpinLock. I receive bugcheck IRQL_NOT_LESS_OR_EQUAL with stack:
00 96259c34 830e5a9e nt!MiEmptyWorkingSet+0x164
01 96259c5c 833341f4 nt!MiTrimAllSystemPagableMemory+0x1ce
02 96259c7c 8333dde8 nt!MmVerifierTrimMemory+0xdd
03 96259c94 8333e33f nt!ViKeRaiseIrqlSanityChecks+0xb8
04 96259cb0 8dc0c6a4 nt!VerifierKfAcquireSpinLock+0x50
05 96259cdc 8dc19931 MyDriver!Function
...
Function is called from kernel thread on passive level.
Spin lock resides in memory allocated with NdisAllocateMemoryWithTag so it is in non-pageable memory. Why verifier crashes on NdisAcquireSpinLock ?
Continue reading...