Regla SpinLockDprRelease (ndis)
La regla SpinLockDprRelease comprueba que las llamadas a NdisAcquireSpinLock o NdisDprAcquireSpinLock solo se llaman cuando SpinLock es el estado "desbloqueado". Esta regla también comprueba que antes de salir de la rutina del controlador de minipuerto se ha liberado SpinLock.
Modelo de controlador: NDIS
En tiempo de compilación |
---|
Ejecute el comprobador de controladores estáticos y especifique la regla SpinLockDprRelease . Usa los pasos siguientes para ejecutar un análisis de tu código:
Para obtener más información, vea Usar comprobador de controladores estáticos para buscar defectos en controladores. |
NdisAcquireSpinLockNdisAllocateSpinLockNdisDprAcquireSpinLockNdisDprReleaseSpinLockNdisReleaseSpinLock