Règle MarkIrpPending2 (wdm)
La règle MarkIrpPending2 spécifie que si une routine de répartition retourne STATUS_PENDING, elle a appelé IoMarkIrpPending ou passé l’IRP au pilote inférieur. Consultez MarkIrpPending 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 MarkIrpPending2 . 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 à
IoCallDriverIoMarkIrpPendingKeWaitForSingleObjectPoCallDriverRemoveHeadList