Remarque
L’accès à cette page nécessite une autorisation. Vous pouvez essayer de vous connecter ou de modifier des répertoires.
L’accès à cette page nécessite une autorisation. Vous pouvez essayer de modifier des répertoires.
La règle WdfInterruptLock spécifie que les appels à la méthode WdfInterruptAcquireLock sont utilisés en alternance stricte avec les appels à WdfInterruptReleaseLock. En outre, à la fin d’une routine de rappel KMDF, le pilote ne doit pas contenir l’objet de verrouillage de rotation de l’infrastructure, obtenu par un appel précédent à WdfInterruptAcquireLock.
Modèle de pilote : KMDF
Comment tester
| Au moment de la compilation |
|---|
Exécutez Static Driver Verifier et spécifiez la règle WdfInterruptLock . 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. |