Règle PeriodicTimer (ndis)
La règle PeriodicTimer spécifie que l’appelant de NdisCancelTimerObject doit s’exécuter à IRQL = PASSIVE_LEVEL si une valeur différente de zéro a été spécifiée dans le paramètre MillisecondsPeriod de la fonction NdisSetTimerObject . Si le paramètre MillisecondsPeriod de la fonction NdisSetTimerObject était égal à zéro, les appelants de NdisCancelTimerObject peuvent s’exécuter à IRQL <= DISPATCH_LEVEL.
Modèle de pilote : NDIS
Comment tester
Au moment de la compilation |
---|
Exécutez Static Driver Verifier et spécifiez la règle PeriodicTimer . 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. |