Partager via


Règle WmiComplete (wdm)

La règle WmiComplete spécifie que lors du traitement d’un IRP secondaire WMI, le pilote appelle IoCompleteRequest avant de retourner à partir de la routine DispatchSystemControl .

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 WMI Requirements for WDM Drivers, Handling WMI Requests, Windows Management Instrumentation Routines et WMI Library Support Routines.

Les pilotes qui ne sont pas inscrits en tant que fournisseurs de données WMI doivent transférer la requête WMI au pilote inférieur suivant. Pour vérifier cette action, utilisez la règle WmiForward .

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

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 à

IoCompleteRequestWmiSystemControl

Voir aussi

Exigences WmiForwardWMI pour les pilotes WDMqui gèrentl’en-tête de bibliothèque WMI (wmilib.h)