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) |