Remarque
L’accès à cette page nécessite une autorisation. Vous pouvez essayer de vous connecter ou de modifier des répertoires.
L’accès à cette page nécessite une autorisation. Vous pouvez essayer de modifier des répertoires.
La règle IrqlKeDispatchLte spécifie que le pilote appelle les routines de noyau suivantes uniquement lorsqu’il s’exécute à IRQL <= DISPATCH_LEVEL :
Modèle de pilote : WDM
Bogues case activée trouvés avec cette règle : 0xC4 de vérification des bogues : DRIVER_VERIFIER_DETECTED_VIOLATION (0x00020011)
Comment tester
| Au moment de la compilation |
|---|
Exécutez Static Driver Verifier et spécifiez la règle IrqlKeDispatchLte . Utilisez les étapes suivantes pour exécuter l’analyse de votre code :
Pour plus d’informations, consultez Utilisation du vérificateur de pilote statique pour rechercher des défauts dans les pilotes. |
| Au moment de l'exécution |
|---|
Exécutez Driver Verifier et sélectionnez l’option de vérification de conformité DDI . |
S’applique à
KeAcquireSpinLockKeCancelTimerKeClearEventKeInitializeDeviceQueueKeInitializeSemaphoreKeInitializeTimerKeInitializeTimerExKePulseEventKeReadStateEventKeReadStateTimerKeReleaseMutexKeRemoveEntryDeviceQueueKeResetEventKeSaveFloatingPointStateKeSetTimerKeSetTimerEx