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, você pode 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 código de extensão WdbgExts. Além disso, examine o código de exemplo incluído como parte do WDK.