Compartir a través de


Regla Cleanup4CtlDeviceRegistered (kmdf)

La regla Cleanup4CtlDeviceRegistered especifica que si un controlador de Plug and Play (PnP) llama a WdfDeviceCreate para el objeto de dispositivo de control, el controlador debe registrar una de las funciones de devolución de llamada de eventos necesarias.

La función de devolución de llamada de eventos puede ser una de las siguientes:

EvtCleanupCallback o EvtDestroyCallback en la estructura de WDF_OBJECT_ATTRIBUTES para el dispositivo de control -o- EvtDeviceSelfManagedIoCleanup en la estructura de WDF_PNPPOWER_EVENT_CALLBACKS

Modelo de controlador: KMDF

Cómo probar

En tiempo de compilación

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

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.