Regra DeviceInitAllocate (kmdf)

A regra DeviceInitAllocate especifica que, para um dispositivo PDO ou um objeto de dispositivo de controle, os métodos de inicialização de objeto do dispositivo de estrutura WdfPdoInitAllocate ou WdfControlDeviceInitAllocate devem ser chamados antes que o driver chame WdfDeviceCreate.

Modelo de driver: KMDF

Como testar

Em tempo de compilação

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

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.

Aplica-se a

WdfDeviceCreate