今カーネルモードのデバイスドライバから
CPUのプロセッサ数（コア数？）を取得する方法を探してるんだけど誰かおせーてー

というかデバイスドライバはサンプルとか入門ページとか数なくてホントﾜｹﾜｶﾒ。
なんで、それ探すために
「WDMデバイスドライバプログラミング完全ガイド下巻」の購入を検討しているんだけど
関数リファレンスとかどこぞで公開されてないんでしょーか？