Déclarations de fonction KMDF du vérificateur de pilote statique

Pour permettre à SDV de vérifier votre pilote KMDF, vous devez déclarer chaque fonction de rappel, à l’aide d’un type de rôle de fonction de rappel. Les types de rôles de fonction de rappel sont définis dans les différents fichiers d’en-tête WDF et sont inclus lorsque vous générez votre pilote avec le fichier d’en-tête Wdf.h. Le tableau suivant montre les types de rôles de fonction et les fonctions de rappel d’événements auxquelles ils sont associés.

Vous devez déclarer les fonctions de rappel du pilote avant les définitions de la fonction de rappel. L’exemple suivant montre la déclaration de type de rôle de fonction pour la fonction de rappel EvtDriverDeviceAdd . Dans cet exemple, la fonction de rappel est appelée EvtDriverDeviceAdd.

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

Si une fonction de rappel a une déclaration de prototype de fonction, vous devez remplacer le prototype de fonction par la déclaration de type de rôle de fonction. Pour plus d’informations sur les déclarations de type de rôle de fonction, consultez Utilisation des déclarations de type de rôle de fonction.

Le tableau suivant montre les types de fonctions de rappel et les fonctions de rappel d’événements auxquelles ils sont associés.

Types de rôles de fonction qui autorisent plusieurs fonctions de rappel

Certains types de rôles de fonction peuvent avoir plusieurs fonctions de rappel d’événement associées. Par exemple, un pilote peut avoir plusieurs fonctions de rappel EvtTimerFunc ou EvtDpcFunc . Le tableau suivant indique le nombre maximal de rappels pris en charge par SDV pour chaque type de rôle de fonction. Bien qu’il ne soit pas incorrect pour un pilote d’avoir plus que le nombre maximal de fonctions de rappel répertoriées dans le tableau, cela complique le processus de vérification lors de l’utilisation de SDV. Pour plus d’informations sur les modifications que vous devrez peut-être apporter au fichier Sdv-map.h pour prendre en charge les fonctions de rappel supplémentaires, consultez Dupliquer les points d’entrée pour un type de rôle de fonction.

Types de rôles de fonction et files d’attente d’E/S

Utilisez les types de rôles de fonction suivants lorsque vous déclarez les gestionnaires de demandes et les fonctions de rappel qui s’appuient sur l’infrastructure KMDF pour remettre les demandes d’E/S au pilote (pour la répartition séquentielle ou parallèle). N’utilisez pas ces types de rôles de fonction pour les fonctions qui transfèrent manuellement les demandes de la file d’attente par défaut vers d’autres files d’attente (répartition manuelle). SDV ne prend pas en charge un modèle de mémoire qui lui permet de suivre les demandes d’une file d’attente à une autre.

Pour plus d’informations sur les files d’attente d’E/S, consultez Création de files d’attente d’E/S.

Types de rôles de fonction pour les fonctions EvtCleanupCallback et EvtDestroyCallback

Vous devez déclarer les fonctions EvtCleanupCallback et EvtDestroyCallback avec des types de rôles de fonction spécifiques à l’objet. SDV nécessite ces types de rôles spécifiques à l’objet pour déterminer si le pilote utilise correctement la fonction de rappel. Utilisez les tableaux suivants pour déterminer le type de fonction à utiliser.