Dichiarazioni di funzione KMDF del driver statico

Per abilitare SDV per verificare il driver KMDF, è necessario dichiarare ogni funzione di callback usando un tipo di ruolo funzione di callback. I tipi di ruolo della funzione di callback sono definiti nei vari file di intestazione WDF e vengono inclusi quando si compila il driver con il file di intestazione Wdf.h. La tabella seguente illustra i tipi di ruolo della funzione e le funzioni di callback degli eventi a cui sono associate.

È necessario dichiarare le funzioni di callback del driver prima delle definizioni di funzione di callback. Nell'esempio seguente viene illustrata la dichiarazione del tipo di ruolo della funzione per la funzione di callback EvtDriverDeviceAdd . In questo esempio la funzione di callback è denominata EvtDriverDeviceAdd.

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

Se una funzione di callback ha una dichiarazione di prototipo di funzione, è necessario sostituire il prototipo di funzione con la dichiarazione del tipo di ruolo della funzione. Per altre informazioni sulle dichiarazioni dei tipi di ruolo della funzione, vedere Using Function Role Type Declarations.

La tabella seguente illustra i tipi di funzione di callback e le funzioni di callback degli eventi a cui sono associate.

Tipi di ruolo funzione che consentono più funzioni di callback

Esistono alcuni tipi di ruolo di funzione che possono avere più funzioni di callback eventi associate. Ad esempio, un driver potrebbe avere più funzioni di callback EvtTimerFunc o EvtDpcFunc . La tabella seguente mostra il numero massimo di callback supportati da SDV per ogni tipo di ruolo di funzione. Sebbene non sia corretto per un driver avere più del numero massimo di funzioni di callback elencate nella tabella, il processo di verifica viene complicato quando si usa SDV. Per informazioni sulle modifiche che potrebbe essere necessario apportare al file Sdv-map.h per supportare le funzioni di callback aggiuntive, vedere Punti di ingresso duplicati per un tipo di ruolo di funzione.

Tipi di ruolo funzione e code di I/O

Usare i tipi di ruolo di funzione seguenti quando si dichiarano i gestori di richieste e le funzioni di callback che si basano sul framework KMDF per recapitare le richieste di I/O al driver (per l'invio sequenziale o parallelo). Non usare questi tipi di ruolo funzione per le funzioni che inoltrano manualmente le richieste dalla coda predefinita ad altre code (invio manuale). SDV non supporta un modello di memoria che consente di tenere traccia delle richieste da una coda a un'altra.

Per altre informazioni sulle code di I/O, vedere Creazione di code di I/O.

Tipi di ruolo delle funzioni per le funzioni EvtCleanupCallback e EvtDestroyCallback

È necessario dichiarare la funzione EvtCleanupCallback e EvtDestroyCallback con tipi di ruolo specifici dell'oggetto. SDV richiede questi tipi di ruolo specifici dell'oggetto per determinare se il driver usa correttamente la funzione di callback. Usare le tabelle seguenti per determinare quale tipo di funzione usare.