macro VERIFY_IS_IRQL_PASSIVE_LEVEL

[Si applica solo a KMDF]

La macro VERIFY_IS_IRQL_PASSIVE_LEVEL si interrompe nel debugger del kernel se il driver non è in esecuzione in IRQL = PASSIVE_LEVEL.

Sintassi

VOID VERIFY_IS_IRQL_PASSIVE_LEVEL(void);

Parametri

Questa macro non ha parametri.

Valore restituito

Nessuno

Osservazioni:

Il codice per la macro VERIFY_IS_IRQL_PASSIVE_LEVEL è incluso nel file binario del driver quando si compila il driver in una configurazione di versione o in una configurazione di debug.

Il codice VERIFY_IS_IRQL_PASSIVE_LEVEL si suddivide in un debugger del kernel se una delle condizioni seguenti è vera:

• dbgBreakOnError è impostato su un valore diverso da zero nel Registro di sistema.
• VerifierOn è impostato su un valore diverso da zero e l' DbgBreakOnError non è impostato.
• Driver Verifier è abilitato, il driver è stato compilato con framework versione 1.9 o successiva e non è stato impostato né VerifierOn né DbgBreakOnError.

Per altre informazioni sulle voci del Registro di sistema che è possibile usare per eseguire il debug del driver, vedere voci del Registro di sistema per il debug dei driver Framework-Based.

Per altre informazioni sul debug del driver, vedere Debug di un driver KMDF.

Esempi

L'esempio di codice seguente si suddivide nel debugger del kernel se il driver non è in esecuzione in IRQL = PASSIVE_LEVEL.

VERIFY_IS_IRQL_PASSIVE_LEVEL();

Requisiti

Vedere anche

WDFVERIFY