Remarque
L’accès à cette page nécessite une autorisation. Vous pouvez essayer de vous connecter ou de modifier des répertoires.
L’accès à cette page nécessite une autorisation. Vous pouvez essayer de modifier des répertoires.
La règle SpinLockDpr vérifie l’utilisation correcte de l’interface de verrouillage de rotation NDIS.
Cette règle spécifie que les appels à NdisDprAcquireSpinLock sont effectués uniquement lorsque le verrou de rotation est à l’état déverrouillé. Cette règle vérifie également que le verrou de rotation est libéré avant la fermeture de la routine du gestionnaire miniport.
Modèle de pilote : NDIS
Comment tester
| Au moment de la compilation |
|---|
Exécutez Static Driver Verifier et spécifiez la règle SpinLockDpr . Utilisez les étapes suivantes pour exécuter l’analyse de votre code :
Pour plus d’informations, consultez Utilisation du vérificateur de pilote statique pour rechercher des défauts dans les pilotes. |
S’applique à
NdisAcquireSpinLockNdisAllocateSpinLockNdisDprAcquireSpinLockNdisDprReleaseSpinLockNdisReleaseSpinLock