Init_NdisAllocateIoWorkItem règle (ndis)
La règle de Init_NdisAllocateIoWorkItem spécifie que si NdisAllocateIoWorkItem est appelé au moins une fois pendant MiniportInitializeEx, la fonction NdisFreeIoWorkItem doit :
-
- être appelé au moins une fois dans MPHaltEx, si MiniportInitializeEx réussit.
-
- être appelé dans MiniportInitializeEx, si MiniportInitializeEx échoue.
Modèle de pilote : NDIS
Comment tester
| Au moment de la compilation |
|---|
Exécutez Static Driver Verifier et spécifiez la règle de Init_NdisAllocateIoWorkItem . 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. |