ГМ>1. Проверьте, что KeSetEvent() не вызывается на IRQL > DISPATCH_LEVEL.

ГМ>2. Случайно третий параметр WAIT при вызове функции KeSetEvent() не равен TRUE?

Поставил море DbgPrint-ов. IRQL = PASSIVE_LEVEL
Третий параметр — FALSE.
И абсолютно маловероятно, что KeSetEvent() поднимает уровень IRQL внутри себя...
Кроме того, 9 из 10 вызовов отрабатывают нормально.
Скажите, не существует ли каких нибудь временных ограничений на выполнение KeSetEvent?