Init_DeRegisterInterrupt règle (ndis)

La règle Init_DeRegisterInterrupt spécifie que si NdisMRegisterInterruptEx est appelé au moins une fois pendant MPInitilize, NdisMDeregisterInterruptEx doit être appelé au moins une fois dans MPHaltEx.

Le registre des interruptions, qui se produisent généralement pendant l’initialisation, doit être annulé (désinscrire) si un problème se produit dans le processus d’initialisation ou pendant l’arrêt du miniport.

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_DeRegisterInterrupt . Utilisez les étapes suivantes pour exécuter l’analyse de votre code : Préparez votre code (utilisez les déclarations de type). Exécutez le vérificateur de pilote statique. 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 à

NdisMDeregisterInterruptExNdisMRegisterInterruptEx