Regola IrqlExApcLte2 (wdm)

La regola IrqlExApcLte2 specifica che il driver chiama le routine seguenti solo in IRQL minore o uguale a APC_LEVEL.

• CmRegisterCallback

• CmUnRegisterCallback

• ExAllocateFromPagedLookasideList

• ExAllocatePoolWithQuota

• ExAllocatePoolWithQuotaTag

• ExDeletePagedLookasideList

• ExFreeToPagedLookasideList

• ExInitializePagedLookasideList

• ExRegisterCallback

• ExSetTimerResolution

• ExUnregisterCallback

• ProbeForRead

• ProbeForWrite

Modello di driver: WDM

Verifica bug trovata con questa regola: Controllo bug 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x00020006), Verifica bug 0xA: IRQL_NOT_LESS_OR_EQUAL

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola IrqlExApcLte2 . Per eseguire un'analisi del codice, seguire questa procedura: Preparare il codice (usare le dichiarazioni del tipo di ruolo). Eseguire verifica driver statici. Visualizzare e analizzare i risultati. Per altre informazioni, vedere Using Static Driver Verifier to Find Defects in Drivers.For more information, see Using Static Driver Verifier to Find Defects in Drivers.

In fase di esecuzione
Eseguire Driver Verifier e selezionare l'opzione di controllo della conformità DDI.

Si applica a

CmRegisterCallback CmRegisterCallbackExCmUnRegisterCallbackExDeletePagedLookasideListExInitializePagedLookasideListExRegisterCallbackExSetTimerResolutionExUnregisterCallbackProbeForReadProbeForWrite