Règle WmiForward (wdm)

  • Article

La règle WmiForward spécifie que le pilote doit transférer les IIP mineurs WMI lorsque le transfert est requis.

Plus précisément, lorsque le pilote appelle WmiSystemControl et que la valeur du paramètre IrpDisposition est IrpForward, le pilote doit appeler IoCallDriver ou PoCallDriver pour transférer l’IRP avant de revenir de la routine de répartition.

Cette règle ne s’applique pas aux pilotes de bus.

Un IRP mineur WMI est une requête IRP_MJ_SYSTEM_CONTROL avec un code de fonction mineure WMI.

Pour plus d’informations sur le traitement des IRP mineurs WMI, consultez Exigences WMI pour les pilotes WDM, Gestion des demandes WMI, Routines d’instrumentation Windows Management et Routines de prise en charge de la bibliothèque WMI.

Modèle de pilote : WDM

Comment tester

Au moment de la compilation

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

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 à

IoAcquireRemoveLockIoCallDriverPoCallDriver

Voir aussi

Exigences WMI pour les pilotes WDMgérant les demandes WMILes routines de prise en charge de la bibliothèque WMI