Compartilhar via


Regra Cleanup4CtlDeviceRegistered (kmdf)

A regra Cleanup4CtlDeviceRegistered especifica que, se um driver de Plug and Play (PnP) chamar WdfDeviceCreate para o objeto do dispositivo de controle, o driver deverá registrar uma das funções de retorno de chamada de evento necessárias.

A função de retorno de chamada de evento pode ser uma das seguintes:

EvtCleanupCallback ou EvtDestroyCallback na estrutura WDF_OBJECT_ATTRIBUTES para o dispositivo de controle -ou- EvtDeviceSelfManagedIoCleanup na estrutura WDF_PNPPOWER_EVENT_CALLBACKS

Modelo de driver: KMDF

Como testar

Em tempo de compilação

Execute o Verificador de Driver Estático e especifique a regra Cleanup4CtlDeviceRegistered .

Use as seguintes etapas para executar uma análise do código:
  1. Prepare seu código (use declarações de tipo de função).
  2. Execute o Verificador de Driver Estático.
  3. Exiba e analise os resultados.

Para obter mais informações, consulte Usando o Verificador de Driver Estático para localizar defeitos em drivers.