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

LK>А можно взглянуть на тесты? Точнее, конкретно на "прокси" для функций.

Так они есть выше (см. mock-функции KeAcquireSpinLock/KeReleaseSpinLock).

LK>Если не хочешь продавать, то, может быть, попрошу тебя собрать эти прокси воедино и продокументировать бесплатно

Не понимаю, какая может быть польза от исходников, предназначенных для тестирования конкретных компонентов конкретного драйвера?
(не говоря уже о том, что исходники эти принадлежат компании, в которой я работаю, и выкладывать их в открытый доступ нельзя)

LK>Отсюда возникла идея перейти на новый WinDDK (полагаю, там C++ вплоть до 17), ну а VS для тестов и самих драйверов тоже — это само собой.
LK>До какой версии можно WinDDK, если драйвер должен быть совместим с WinXP?

WDK 7.1 — последняя версия, где можно собирать под WinXP.
Под другими тоже можно, говорят, но это undocumented и работу такого драйвера на XP никто не гарантирует.