Regola FwdIrpToIoQueueValid (kmdf)
La regola FwdIrpToIoQueueValid specifica che il driver invia un'IRP a una coda I/O usando il callback WdfDeviceWdmDispatchIrpToIoQueue dal callback EvtDeviceWdmIrpDispatch o dal callback EvtDeviceWdmIrpPreprocess .
Modello di driver: KMDF
Come eseguire il test
| In fase di compilazione |
|---|
Eseguire il verifica driver statico e specificare la regola FwdIrpToIoQueueValid . Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
Per altre informazioni, vedere Uso del verificatore driver statico per trovare i difetti nei driver. |