WdbgExts.h ヘッダー ファイルは、32 ビットポインターと 64 ビット ポインターの両方をサポートします。 64 ビット ポインターを使用するには、コードに次の 2 行を次の順序で含めるだけです。
#define KDEXT_64BIT
#include wdbgexts.h
コードでは常に 64 ビット ポインターを使用することをお勧めします。 これにより、デバッガーはターゲットが 32 ビットの場合に 32 ビットに自動的に 64 ビット ポインターをキャストするため、任意のプラットフォームで拡張機能を動作させることができます。
32 ビット プラットフォームでのみ拡張機能を使用する場合は、代わりに 32 ビット拡張機能を記述できます。 その場合は、コードに次の行を含めるだけで済みます。
#include wdbgexts.h
64 ビット ポインターの操作の詳細については、「 DECLARE_API マクロの使用 と WdbgExts 拡張コードの記述」を参照してください。 さらに、WDK の一部として含まれているサンプル コードを調べます。