Partager via


Règle MarkIrpPending (wdm)

La règle MarkIrpPending spécifie que chaque fois qu’une routine de répartition de pilote appelle IoMarkIrpPending, le pilote retourne STATUS_PENDING lorsque la routine de répartition se termine. Consultez MarkIrpPending2 pour obtenir une spécification complémentaire.

Modèle de pilote : WDM

Comment tester

Au moment de la compilation

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

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.

S’applique à

IoCallDriverIoCompleteRequestIoMarkIrpPendingPoCallDriverRemoveHeadList

Voir aussi

MarkingInterlockedQueuedIrpsSynchronisation de l’annulation IRP