Правило WdfInterruptLockRelease (kmdf)
Правило WdfInterruptLockRelease указывает, что вызовы WdfInterruptAcquireLock и WdfInterruptReleaseLock используются сбалансированным образом в рамках подпрограммы обратного вызова KMDF. В конце любой подпрограммы обратного вызова KMDF драйвер не должен содержать объект спин-блокировки платформы, полученный при предыдущем вызове WdfInterruptAcquireLock.
Модель драйвера: KMDF
Как тестировать
Во время компиляции |
---|
Запустите средство проверки статических драйверов и укажите правило WdfInterruptLockRelease . Чтобы выполнить анализ кода, выполните следующие действия.
Дополнительные сведения см. в статье Использование средства проверки статических драйверов для поиска дефектов в драйверах. |
Применяется к
Обратная связь
https://aka.ms/ContentUserFeedback.
Ожидается в ближайшее время: в течение 2024 года мы постепенно откажемся от GitHub Issues как механизма обратной связи для контента и заменим его новой системой обратной связи. Дополнительные сведения см. в разделеОтправить и просмотреть отзыв по