regola Init_DeRegisterInterrupt (ndi)
La regola Init_DeRegisterInterrupt specifica che se NdisMRegisterInterruptEx viene chiamato almeno una volta durante MPInitilize, NdisMDeregisterInterruptEx deve essere chiamato almeno una volta in MPHaltEx.
Il registro degli interrupt, che in genere si verificano durante l'inizializzazione, deve essere annullato (annullare la registrazione) se si verifica un errore nel processo di inizializzazione o durante l'interruzione del miniport.
Modello di driver: NDIS
Come eseguire il test
In fase di compilazione |
---|
Eseguire Static Driver Verifier e specificare la regola di Init_DeRegisterInterrupt . Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
Per altre informazioni, vedere Using Static Driver Verifier to Find Defects in Drivers.For more information, see Using Static Driver Verifier to Find Defects in Drivers. |