Ponteiros de 32 bits e ponteiros de 64 bits

O arquivo de cabeçalho WdbgExts.h dá suporte a ponteiros de 32 bits e 64 bits. Para usar ponteiros de 64 bits, basta incluir as duas linhas a seguir em seu código, na seguinte ordem:

#define KDEXT_64BIT 
#include wdbgexts.h 

É recomendável que você sempre use ponteiros de 64 bits em seu código. Isso permite que sua extensão funcione em qualquer plataforma, pois o depurador converterá automaticamente ponteiros de 64 bits em 32 bits quando o destino for de 32 bits.

Se você pretende usar sua extensão apenas em plataformas de 32 bits, poderá escrever uma extensão de 32 bits. Nesse caso, você só precisa incluir a seguinte linha em seu código:

#include wdbgexts.h 

Para obter informações adicionais sobre como trabalhar com os ponteiros de 64 bits, consulte Usando a macro DECLARE_API e escrevendo o código de extensão WdbgExts. Além disso, examine o código de exemplo incluído como parte do WDK.