Не удается найти документацию по Windows DDK

Я ищу документацию по DDK для Windows, но нигде не могу ее найти - даже в MSDN.

Например, я не могу найти документацию по функции KeGetActiveProcessors для получения количества активных процессоров.