Deklaracje funkcji KMDF weryfikatora sterowników statycznych

Aby umożliwić sdV weryfikowanie sterownika KMDF, należy zadeklarować każdą funkcję wywołania zwrotnego przy użyciu typu roli funkcji wywołania zwrotnego. Typy ról funkcji wywołania zwrotnego są definiowane w różnych plikach nagłówków WDF i są uwzględniane podczas tworzenia sterownika za pomocą pliku nagłówka Wdf.h. W poniższej tabeli przedstawiono typy ról funkcji i funkcje wywołania zwrotnego zdarzeń, z którymi są skojarzone.

Należy zadeklarować funkcje wywołania zwrotnego sterownika przed definicjami funkcji wywołania zwrotnego. W poniższym przykładzie przedstawiono deklarację typu roli dla funkcji wywołania zwrotnego EvtDriverDeviceAdd. W tym przykładzie funkcja wywołania zwrotnego nosi nazwę EvtDriverDeviceAdd.

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

Jeśli funkcja wywołania zwrotnego ma deklarację prototypu funkcji, należy zastąpić prototyp funkcji deklaracją typu roli funkcji. Aby uzyskać więcej informacji na temat deklaracji typów ról funkcji, zobacz Używanie deklaracji typów ról funkcji.

W poniższej tabeli przedstawiono typy funkcji wywołania zwrotnego i funkcje wywołania zwrotnego zdarzeń, z którymi są skojarzone.

Typy ról funkcji, które zezwalają na wiele funkcji wywołania zwrotnego

Istnieją pewne typy ról funkcji, które mogą mieć wiele funkcji wywołania zwrotnego zdarzeń skojarzonych z nimi. Na przykład sterownik może mieć wiele funkcji wywołania zwrotnego, takich jak EvtTimerFunc lub EvtDpcFunc. W poniższej tabeli przedstawiono maksymalną liczbę wywołań zwrotnych, które są obsługiwane przez zestaw SDV dla każdego typu roli funkcji. Choć dla sterownika nie jest błędem posiadanie większej liczby funkcji wywołania zwrotnego niż maksymalna liczba wymieniona w tabeli, komplikuje to proces weryfikacji podczas korzystania z SDV. Aby uzyskać informacje o zmianach, które mogą być konieczne w pliku Sdv-map.h, w celu uwzględnienia dodatkowych funkcji wywołania zwrotnego, zobacz Zduplikowane punkty wejścia dla typu roli funkcji.

Typy ról funkcji i kolejki we/wy

Użyj następujących typów ról funkcji podczas deklarowania funkcji Obsługi żądań i funkcji wywołania zwrotnego, które opierają się na strukturze KMDF, aby dostarczać żądania we/wy do sterownika (w przypadku sekwencyjnego lub równoległego wysyłania). Nie używaj tych typów ról funkcji dla funkcji, które ręcznie przesyłają żądania z domyślnej kolejki do innych kolejek (ręczne wysyłanie). SdV nie obsługuje modelu pamięci, który umożliwia śledzenie żądań z jednej kolejki do innej.

Aby uzyskać więcej informacji na temat kolejek wejścia/wyjścia, zobacz Tworzenie kolejek wejścia/wyjścia.

Typy ról funkcji dla funkcji EvtCleanupCallback i EvtDestroyCallback

Należy zadeklarować funkcję EvtCleanupCallback i EvtDestroyCallback z typami ról funkcji specyficznymi dla obiektu. SdV wymaga tych typów ról specyficznych dla obiektu w celu określenia, czy sterownik prawidłowo używa funkcji wywołania zwrotnego. Użyj poniższych tabel, aby określić typ funkcji do użycia.