Notitie
Voor toegang tot deze pagina is autorisatie vereist. U kunt proberen u aan te melden of de directory te wijzigen.
Voor toegang tot deze pagina is autorisatie vereist. U kunt proberen de mappen te wijzigen.
This rule verifies that the IoStartNextPacket and IoCompleteRequest routines are not called while holding a spin lock. The rule keeps track of the number of spin locks held at any time, and if that number is not 0 when either routine is called, the driver fails the rule.
Driver model: Storport
How to test
| At compile time |
|---|
Run Static Driver Verifier and specify the SpinLockSafe rule. Use the following steps to run an analysis of your code:
For more information, see Using Static Driver Verifier to Find Defects in Drivers. |
Applies to
IoAcquireCancelSpinLock IoCompleteRequest IoReleaseCancelSpinLock IoStartNextPacket KeAcquireSpinLock KeAcquireSpinLockAtDpcLevel KeReleaseSpinLock KeReleaseSpinLockFromDpcLevel