Freigeben über

IrqlKeWaitForMutexObject-Regel (wdm)

  • Artikel

Die IrqlKeWaitForMutexObject-Regel gibt den Treiber an, der die KeWaitForMutexObject-Routine bei der richtigen IRQL basierend auf dem Wert des Timeout-Parameters aufrufen soll:

  • Wenn Timeout auf einen Nullwert zeigt, wird der Treiber unter IRQL = DISPATCH_LEVEL ausgeführt.

  • Wenn TimeoutNULL ist oder auf einen anderen Wert als Null zeigt, wird der Treiber unter IRQL <= APC_LEVEL ausgeführt.

Treibermodell: WDM

So führen Sie einen Test durch

Beim Kompilieren:

Führen Sie static Driver Verifier aus, und geben Sie die IrqlKeWaitForMutexObject-Regel an.

Gehen Sie folgendermaßen vor, um Ihren Code zu analysieren:
  1. Bereiten Sie den Code vor (verwenden Sie Rollentypdeklarationen).
  2. Führen Sie Static Driver Verifier aus.
  3. Überprüfen und analysieren Sie die Ergebnisse.

Weitere Informationen finden Sie unter Verwenden der statischen Treiberüberprüfung, um Fehler in Treibern zu finden.

Gilt für:

KeWaitForSingleObject