irqlDispatch 规则 (storport)

此规则验证以下例程是否仅在 IRQL = DISPATCH_LEVEL调用。

• AllocateAdapterChannel

• FreeAdapterChannel

• FreeMapRegisters

• GetScatterGatherList

• IoAllocateController

• IoFreeController

• IoStartNextPacket

• KeAcquireSpinLockAtDpcLevel

• KeInsertByKeyDeviceQueue

• KeInsertDeviceQueue

• KeReleaseSpinLockFromDpcLevel

• KeRemoveByKeyDeviceQueue

• KeRemoveDeviceQueue

• PutScatterGatherList

驱动程序模型：Storport

如何测试

编译时
运行 静态驱动程序验证程序 并指定 IrqlDispatch 规则。 使用以下步骤运行代码分析： 准备代码 (使用角色类型声明) 。 运行静态驱动程序验证程序。 查看和分析结果。 有关详细信息，请参阅 使用静态驱动程序验证程序查找驱动程序中的缺陷。

适用于

AllocateAdapterChannelFreeAdapterChannelFreeMapRegistersGetScatterGatherListIoAllocateControllerIoStartNextPacketKeAcquireSpinLockAtDpcLevelKeInsertByKeyDeviceQueueKeInsertDeviceQueueKeReleaseSpinLockFromDpcLevelKeRemoveByKeyDeviceQueueKeRemoveDeviceQueuePutScatterGatherList