Compartilhar via


Regra SignalEventInCompletion3 (wdm)

A regra SignalEventInCompletion3 especifica que, ao processar um IRP assíncrono, o driver precisa chamar o KeSetEvent na rotina de conclusão quando o sinalizador Irp->PendingReturned é definido.

Nesse caso, a rotina de conclusão não será chamada.

Modelo do driver: WDM

Como testar

Em tempo de compilação

Execute o Driver Verifier estático e especifique a regra SignalEventInCompletion3.

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 Driver Verifier estático.
  3. Veja e analise os resultados.

Para obter mais informações, consulte Como usar o Driver Verifier estático para encontrar defeitos em drivers.

Aplicável ao

IoSetCompletionRoutineIoSetCompletionRoutineExKeInitializeEvent