Nota
L'accés a aquesta pàgina requereix autorització. Pots provar d'iniciar sessió o canviar de directori.
L'accés a aquesta pàgina requereix autorització. Pots provar de canviar directoris.
La regla WdfWaitlockRelease especifica que las llamadas a WdfWaitLockAcquire y WdfWaitLockRelease se usan de forma equilibrada dentro de una función de devolución de llamada de evento KMDF. Cuando se devuelve la función de devolución de llamada de eventos KMDF, el controlador no debe contener el objeto de bloqueo de número de marco obtenido por una llamada anterior a WdfWaitLockAcquire.
Modelo de controlador: KMDF
Cómo probar
| En tiempo de compilación |
|---|
Ejecute el comprobador de controladores estáticos y especifique la regla WdfWaitlockRelease . Usa los pasos siguientes para ejecutar un análisis de tu código:
Para obtener más información, consulte Uso del comprobador de controladores estáticos para buscar defectos en controladores. |