Partager via


Règle WmiForward (wdm)

La règle WmiForward spécifie que le pilote doit transférer les adresses IP virtuelles secondaires WMI lors du transfert.

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 distribution.

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 secondaire WMI.

Pour plus d’informations sur le traitement des runtimes d’intégration secondaireS WMI, consultez la configuration requise WMI pour les pilotes WDM, la gestion des requêtes WMI et l’implémentation de WMI.

modèle de pilote : WDM

Comment tester

Au moment de la compilation

Exécutez le vérificateur de pilote statique et spécifiez la règle WmiForward .

Procédez comme suit pour exécuter une analyse de votre code :
  1. Préparer votre code (utilisez des déclarations de type de rôle).
  2. exécuter le vérificateur de pilote statique.
  3. Afficher et analyser les résultats.

Pour plus d’informations, consultez Using Static Driver Verifier to Find Defects in Drivers.

S’applique à

IoAcquireRemoveLockIoCallDriverPoCallDriver

Voir aussi

Configuration requise pour les pilotesWDM qui gèrent les requêtes WMI