Compartilhar via


Regra IrqlReturn (wdm)

A regra IrqlReturn especifica que as rotinas de expedição do driver retornam no mesmo IRQL no qual foram chamadas. Para obter mais informações sobre os IRQLs nos quais as rotinas de expedição são chamadas corretamente, consulte Rotinas de expedição e IRQLs.

Modelo de driver: WDM

Como testar

Em tempo de compilação

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

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.

Confira também

Rotinas de expedição e IRQLs