Правило Cleanup4CtlDeviceRegistered (kmdf)

Правило Cleanup4CtlDeviceRegistered указывает, что если драйвер Plug and Play (PnP) вызывает WdfDeviceCreate для объекта управляющего устройства, драйвер должен зарегистрировать одну из необходимых функций обратного вызова события.

Функция обратного вызова события может быть одной из следующих:

EvtCleanupCallback или EvtDegradCallback в структуре WDF_OBJECT_ATTRIBUTES для управляющего устройства или EvtDeviceSelfManagedIoCleanup в структуре WDF_PNPPOWER_EVENT_CALLBACKS

Модель драйвера: KMDF

Как тестировать

Во время компиляции

Запустите средство проверки статических драйверов и укажите правило Cleanup4CtlDeviceRegistered .

Выполните следующие действия, чтобы выполнить анализ кода.
  1. Подготовьте код (используйте объявления типов ролей).
  2. Запустите средство проверки статических драйверов.
  3. Просмотр и анализ результатов.

Дополнительные сведения см. в разделе Использование средства проверки статических драйверов для поиска дефектов в драйверах.