Здравствуйте, TarasCo, Вы писали:

TC>Включить Driver Verifier и пользоваться командой windbg !deadlock.

B есть еще смысл погонять на 1-процессорной машине (тоже с включеным verifier'ом).
Т.к. часть проверок (судя по коду ядра) не исполняется на многомроцессорках.
Как писали в комментариях — во избежания внутренних deadlocks.