Partager via

Règle StorPortMSILock (storport)

  • Article

Les pilotes Miniport sont requis pour acquérir le verrou de rotation MSI pour un message si, et seulement si, le membre InterruptSynchronizationMode de la structure PORT_CONFIGURATION_INFORMATION (Storport) est défini sur InterruptSynchronizePerMessage. Cette règle vérifie que les appels à StorPortAcquireMSISpinLock sont effectués uniquement si le mode de synchronisation est InterruptSynchronizePerMessage.

Modèle de pilote : Storport

Comment tester

Au moment de la compilation

Exécutez Static Driver Verifier et spécifiez la règle StorPortMSILock .

Utilisez les étapes suivantes pour exécuter l’analyse de votre code :
  1. Préparez votre code (utilisez les déclarations de type).
  2. Exécutez le vérificateur de pilote statique.
  3. Affichez et analysez les résultats.

Pour plus d’informations, consultez Utilisation du vérificateur de pilote statique pour rechercher des défauts dans les pilotes.