IrqlExPassive-Regel (wdm)

  • Artikel

Die IrqlExPassive-Regel gibt an, dass der Treiber die folgenden Supportroutinen für Führungskräfte nur unter IRQL = PASSIVE_LEVEL aufruft:

Die IrqlExPassive-Regel gibt auch an, dass der Treiber ExRaiseStatus unter IRQL <= APC_LEVEL aufruft.

Treibermodell: WDM

Mit dieser Regel gefundene Fehlerüberprüfungen: Fehlerprüfung 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x00020008), Fehlerprüfung 0xA: IRQL_NOT_LESS_OR_EQUAL

So führen Sie einen Test durch

Beim Kompilieren:

Führen Sie Static Driver Verifier aus, und geben Sie die IrqlExPassive-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.
Zur Laufzeit

Führen Sie die Treiberüberprüfung aus, und wählen Sie die DDI-Konformitätsüberprüfungsoption aus.

Gilt für:

ExCreateCallbackExIsProcessorFeaturePresentExraiseAccessViolationExraiseDatatypeMisalignmentExRaiseStatusExUuidCreate

Weitere Informationen

Verwalten von Hardwareprioritäten, um Fehler und Deadlocks bei verwendung von Spin-Sperren zu verhindern