Объявления функций KMDF средства проверки статических драйверов

Чтобы включить SDV для проверки драйвера KMDF, необходимо объявить каждую функцию обратного вызова, используя тип роли функции обратного вызова. Типы ролей функции обратного вызова определяются в различных файлах заголовков WDF и включаются при сборке драйвера с помощью файла заголовка Wdf.h. В следующей таблице показаны типы ролей функций и функции обратного вызова событий, с которыми они связаны.

Необходимо объявить функции обратного вызова драйвера перед определениями функций обратного вызова. В следующем примере показано объявление типа роли функции для функции обратного вызова EvtDriverDeviceAdd . В этом примере функция обратного вызова называется EvtDriverDeviceAdd.

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

Если функция обратного вызова имеет объявление прототипа функции, необходимо заменить прототип функции объявлением типа роли функции. Дополнительные сведения об объявлениях типов ролей функции см. в разделе Использование объявлений типов ролей функции.

В следующей таблице показаны типы функций обратного вызова и функции обратного вызова событий, с которыми они связаны.

Типы ролей функций, разрешающие несколько функций обратного вызова

Существуют некоторые типы ролей функций, с которыми может быть связано несколько функций обратного вызова событий. Например, драйвер может иметь несколько функций обратного вызова EvtTimerFunc или EvtDpcFunc . В следующей таблице показано максимальное число обратных вызовов, поддерживаемых SDV для каждого типа роли функции. Хотя это не является неправильным, если драйвер имеет больше максимального числа функций обратного вызова, перечисленных в таблице, это усложняет процесс проверки при использовании SDV. Сведения об изменениях, которые могут потребоваться внести в файл Sdv-map.h для размещения дополнительных функций обратного вызова, см. в статье Дублирование точек входа для типа роли функции.

Типы ролей функций и очереди ввода-вывода

Используйте следующие типы ролей функций при объявлении обработчиков запросов и функций обратного вызова, которые используют платформу KMDF для доставки запросов ввода-вывода в драйвер (для последовательной или параллельной диспетчеризации). Не используйте эти типы ролей функций для функций, которые вручную перенаправляют запросы из очереди по умолчанию в другие очереди (ручная диспетчеризация). SDV не поддерживает модель памяти, которая позволяет отслеживать запросы из одной очереди в другую.

Дополнительные сведения об очередях ввода-вывода см. в статье Создание очередей ввода-вывода.

Типы ролей функций для функций EvtCleanupCallback и EvtDegradCallback

Необходимо объявить функцию EvtCleanupCallback и EvtDegradCallback с типами ролей функций, зависящих от объекта. SdV требует, чтобы эти типы ролей для конкретных объектов определяли, правильно ли драйвер использует функцию обратного вызова. Используйте следующие таблицы, чтобы определить, какой тип функции использовать.