macro VERIFY_IS_IRQL_PASSIVE_LEVEL

[Si applica solo a KMDF]

La macro VERIFY_IS_IRQL_PASSIVE_LEVEL si suddivide 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 si verifica una delle condizioni seguenti:

• DbgBreakOnError è impostato su un valore diverso da zero nel Registro di sistema.
• VerifierOn è impostato su un valore diverso da zero e DbgBreakOnError non è impostato.
• Il driver Verifier è abilitato, il driver è stato compilato con framework versione 1.9 o successiva e non è 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 di driver Framework-Based.

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

Esempio

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

Piattaforma di destinazione	Universale
Versione KMDF minima	1.0
Intestazione	Wdfassert.h (include Wdf.h)

Vedi anche

WDFVERIFY