IrqlKeWaitForMutexObjectルール (wdm)
IrqlKeWaitForMutexObject ルールでは、 Timeout パラメーターの値に基づいて、適切な IRQL で KeWaitForMutexObject ルーチンを呼び出すドライバーが指定されます。
Timeout が 0 の値をポイントしている場合、ドライバーは IRQL = DISPATCH_LEVEL で実行します。
Timeout が NULL の場合、または 0 以外の値をポイントしている場合、ドライバーは IRQL <= APC_LEVEL で実行します。
ドライバーモデル: WDM
テスト方法
コンパイル時 |
---|
静的ドライバー検証 を実行し、 IrqlKeWaitForMutexObject 規則を指定します。 コードの分析を実行するには、次の手順に従います。詳細については、 「静的ドライバー検証ツールを使用してドライバー の欠陥を見つける」を参照してください。 |