Je cherche de la documentation Windows DDK, mais je ne la trouve nulle part - pas même dans MSDN.
Par exemple, je ne trouve pas la documentation de la fonction KeGetActiveProcessors, pour obtenir le nombre de processeurs actifs.