VERIFY_IS_IRQL_PASSIVE_LEVEL Makro

[Gilt nur für KMDF]

Das VERIFY_IS_IRQL_PASSIVE_LEVEL Makro wechselt in den Kerneldebugger, wenn der Treiber bei IRQL = PASSIVE_LEVEL nicht ausgeführt wird.

Syntax

VOID VERIFY_IS_IRQL_PASSIVE_LEVEL(void);

Die Parameter

Dieses Makro hat keine Parameter.

Rückgabewert

Nichts

Bemerkungen

Der Code für das makro VERIFY_IS_IRQL_PASSIVE_LEVEL ist in der Binärdatei Ihres Treibers enthalten, wenn Sie den Treiber in einer Releasekonfiguration oder einer Debugkonfiguration erstellen.

Der VERIFY_IS_IRQL_PASSIVE_LEVEL Code wechselt in einen Kerneldebugger, wenn einer der folgenden Werte zutrifft:

• DbgBreakOnError- auf einen Wert ungleich Null in der Registrierung festgelegt ist.
• VerifierOn- wird auf einen Wert ungleich Null festgelegt, und DbgBreakOnError- nicht festgelegt ist.
• Die Treiberüberprüfung ist aktiviert, der Treiber wurde mit framework Version 1.9 oder höher erstellt, und weder VerifierOn noch DbgBreakOnError- festgelegt ist.

Weitere Informationen zu Registrierungseinträgen, die Sie zum Debuggen des Treibers verwenden können, finden Sie unter Registrierungseinträge für das Debuggen Framework-Based Drivers.

Weitere Informationen zum Debuggen des Treibers finden Sie unter Debuggen eines KMDF-Treibers.

Beispiele

Im folgenden Codebeispiel wird in den Kerneldebugger umgebrochen, wenn der Treiber bei IRQL = PASSIVE_LEVEL nicht ausgeführt wird.

VERIFY_IS_IRQL_PASSIVE_LEVEL();

Anforderungen

Siehe auch

WDFVERIFY-