Compartir a través de


Regla SpinLock (ndis)

La regla SpinLock comprueba el uso correcto de la interfaz de bloqueo de número NDIS. Esta regla especifica que las llamadas a NdisAcquireSpinLock solo se realizan cuando SpinLock está en estado desbloqueado. Esta regla también comprueba que el SpinLock se libera antes de que se cierre la rutina de controlador de miniporte.

Modelo de controlador: NDIS

Cómo probar

En tiempo de compilación

Ejecute el Comprobador de controladores estáticos y especifique la regla SpinLock .

Usa los pasos siguientes para ejecutar un análisis de tu código:
  1. Prepara el código (usa declaraciones de tipos de rol).
  2. Ejecuta el comprobador de controlador estático.
  3. Consulta y analiza los resultados.

Para obtener más información, vea Usar comprobador de controladores estáticos para buscar defectos en controladores.

Se aplica a

NdisAcquireSpinLockNdisDprAcquireSpinLockNdisDprReleaseSpinLockNdisReleaseSpinLock