Regola IrqlDispatch (wdm)

La regola IrqlDispatch specifica che il driver chiama i DDI seguenti solo quando viene eseguito in IRQL = DISPATCH_LEVEL.

Modello di driver: WDM

Sono stati trovati controlli dei bug con questa regola: Bug Check 0xA: IRQL_NOT_LESS_OR_EQUAL , Bug Check 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x00020003)

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola IrqlDispatch .

Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
  1. Prepara il codice (usa dichiarazioni di tipo ruolo).
  2. Esegui Driver Verifier statico.
  3. Visualizza e analizza i risultati.

Per altre informazioni, vedere Uso di Static Driver Verifier per trovare i difetti nei driver.

In fase di esecuzione

Eseguire Driver Verifier e selezionare l'opzione controllo di conformità DDI .

Si applica a

AllocateAdapterChannelAllocateCommonBufferBuildMdlFromScatterGatherListBuildScatterGatherListFlushAdapterBuffersFreeAdapterChannelFreeCommonBufferFreeMapRegistersGetDmaAlignmentGetScatterGatherListIoAllocateControllerIoFreeControllerIoStartNextPacketIoWriteErrorLogEntryKeInsertByKeyDeviceQueue KeInsertDeviceQueueKeRemoveByKeyDeviceQueueKeRemoveDeviceQueueMapTransferPutDmaAdapterPutScatterGatherListReadDmaCounter

Vedi anche

Gestione delle prioritàhardwarePreventing Errors and Deadlocks While Using Spin Locks (Gestione delle priorità hardware)Preventing Errors and Deadlocks While Using Spin Locks (Gestione delle priorità hardware)Preventing Errors and Deadlocks While Using Spin