Regla IrqlDispatch (wdm)
La regla IrqlDispatch especifica que el controlador llama a los siguientes DDIs solo cuando se ejecuta en IRQL = DISPATCH_LEVEL.
Modelo de controlador: WDM
Comprobaciones de errores encontradas con esta regla: Comprobación de errores 0xA: IRQL_NOT_LESS_OR_EQUAL , Comprobación de errores 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x00020003)
Cómo probar
| En tiempo de compilación |
|---|
Ejecute el comprobador de controladores estáticos y especifique la regla IrqlDispatch . Usa los pasos siguientes para ejecutar un análisis de tu código:
Para obtener más información, consulte Uso del comprobador de controladores estáticos para buscar defectos en controladores. |
| En tiempo de ejecución |
|---|
Ejecute el Comprobador de controladores y seleccione la opción comprobación de cumplimiento de DDI . |
Se aplica a
AllocateAdapterChannelAllocateCommonBufferBuildMdlFromScatterGatherListBuildScatterGatherListFlushAdapterBuffersFreeAdapterChannelFreeCommonBufferFreeMapRegistersGetDmaAlignmentGetScatterGatherListIoAllocateControllerIoFreeControllerIoStartNextPacketIoWriteErrorLogEntryKeInsertByKeyDeviceQueueKeInsertDeviceQueueKeRemoveByKeyDeviceQueueKeRemoveDeviceQueueMapTransferPutDmaAdapterPutScatterGatherListReadDmaCounter
Consulte también
Administración de prioridades de hardwareque impiden errores y interbloqueos al usar bloqueos de número