Puntatori a 32 bit e puntatori a 64 bit

Il file di intestazione WdbgExts.h supporta puntatori a 32 bit e a 64 bit. Per usare puntatori a 64 bit, includere semplicemente le due righe seguenti nel codice, nell'ordine seguente:

#define KDEXT_64BIT 
#include wdbgexts.h 

È consigliabile usare sempre puntatori a 64 bit nel codice. In questo modo l'estensione può funzionare su qualsiasi piattaforma, perché il debugger convertirà automaticamente i puntatori a 64 bit in 32 bit quando la piattaforma di destinazione è a 32 bit.

Se si intende usare l'estensione solo su piattaforme a 32 bit, è invece possibile scrivere un'estensione a 32 bit. In tal caso, è sufficiente includere la riga seguente nel codice:

#include wdbgexts.h 

Per altre informazioni sull'uso dei puntatori a 64 bit, vedere Uso della macro DECLARE_API e scrittura di codice di estensione WdbgExts. Esaminare anche il codice di esempio incluso come parte di WDK.