Partager via


Règle UsbDeviceCreateTarget (kmdf)

La règle UsbDeviceCreateTarget spécifie que plusieurs objets WDFUSBDEVICE ne sont pas créés alors que le ou les objets WDFUSBDEVICE qui se trouvent actuellement dans le contexte de l’appareil sont divulgués.

Par exemple, la fonction de rappel d’événement EvtDevicePrepareHardware peut être appelée plusieurs fois lorsque le système tente de gérer les ressources et doit allouer un autre segment de mémoire pour le pilote. Dans ce cas, la fonction de rappel d’événement EvtDeviceReleaseHardware est appelée pour annuler le mappage des ressources de mémoire après que l’infrastructure a initialement appelé EvtDevicePrepareHardware. L’EvtDevicePrepareHardware est ensuite appelé à nouveau pour mapper les ressources afin que le pilote puisse accéder à la mémoire affectée à l’appareil. Cette règle vérifie que le pilote vérifie d’abord que le WDFUSBDEVICE cible est NULL et ne crée pas simplement un nouvel appareil et remplace le handle précédent.

Modèle de pilote : KMDF

Comment tester

Au moment de la compilation

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

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 à

WdfUsbTargetDeviceCreateWdfUsbTargetDeviceCreateWithParameters