Regla WdfSpinlock (kmdf)
La regla WdfSpinlock especifica que las llamadas al método WdfSpinLockAcquire se usan en alternancia estricta con WdfSpinlockRelease. Al final de cualquier rutina de devolución de llamada kmdf, el controlador no debe contener el objeto de interbloqueo del marco que obtuvo una llamada anterior a WdfSpinLockAcquire.
Modelo de controlador: KMDF
Cómo probar
| En tiempo de compilación |
|---|
Ejecute el comprobador de controladores estáticos y especifique la regla WdfSpinlock . 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. |