Declarações de função KMDF do Driver Verifier estático

Para habilitar o SDV para verificar seu driver KMDF, você deve declarar cada função de retorno de chamada usando um tipo de função de retorno de chamada. Os tipos de funções de retorno de chamada são definidos nos vários arquivos de cabeçalho do WDF e são incluídos quando você compila seu driver com o arquivo de cabeçalho Wdf.h. A tabela a seguir mostra os tipos de função e as funções de retorno de chamada de evento às quais estão associados.

Você deve declarar as funções de retorno de chamada do driver antes das definições da função de retorno de chamada. O exemplo a seguir mostra a declaração de tipo de função para a função de retorno de chamada EvtDriverDeviceAdd . Neste exemplo, a função de retorno de chamada é chamada EvtDriverDeviceAdd.

#include <NTDDK.h>  
#include <wdf.h>
EVT_WDF_DRIVER_DEVICE_ADD EvtDriverDeviceAdd

Se uma função de retorno de chamada tiver uma declaração de protótipo de função, você deverá substituir o protótipo da função pela declaração de tipo de função. Para obter mais informações sobre as declarações de tipo de função, consulte Usando declarações de tipo de função.

A tabela a seguir mostra os tipos de função de retorno de chamada e as funções de retorno de chamada de evento às quais estão associadas.

Tipos de papel de função que permitem várias funções de retorno de chamada

Há alguns tipos de função de papel que podem ter várias funções de retorno de chamada de eventos associadas a elas. Por exemplo, um driver pode ter funções de retorno de chamada múltiplas, como EvtTimerFunc ou EvtDpcFunc. A tabela a seguir mostra o número máximo de callbacks que o SDV suporta para cada tipo de função. Embora não esteja incorreto para um driver ter mais do que o número máximo de funções de retorno de chamada listadas na tabela, isso complica o processo de verificação ao usar o SDV. Para obter informações sobre as alterações que talvez seja necessário fazer no arquivo Sdv-map.h para acomodar as funções de retorno de chamada adicionais, consulte Pontos de entrada duplicados para um tipo de função.

Tipos de funções e filas de E/S

Use os seguintes tipos de função ao declarar os Manipuladores de Solicitação e as funções de retorno de chamada que dependem do framework KMDF para processar as solicitações de E/S ao driver (para envio sequencial ou paralelo). Não use esses tipos de papéis de função para as funções que encaminham manualmente solicitações da fila padrão para outras filas (despacho manual). O SDV não dá suporte a um modelo de memória que permite que ele acompanhe solicitações de uma fila para outra.

Para obter mais informações sobre filas de E/S, consulte Criando filas de E/S.

Tipos de papéis de função para as funções EvtCleanupCallback e EvtDestroyCallback

Você deve declarar a função EvtCleanupCallback e EvtDestroyCallback com tipos de função específicos ao objeto. O SDV requer esses tipos de função específicos ao objeto para determinar se o driver está usando corretamente a função de retorno de chamada. Use as tabelas a seguir para determinar qual tipo de função usar.