Puntatori a 32 bit e puntatori a 64 bit

Il file di intestazione WdbgExts.h supporta sia puntatori a 32 bit che 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. Ciò consente all'estensione di funzionare su qualsiasi piattaforma, perché il debugger eseguirà automaticamente il cast dei puntatori a 64 bit a 32 bit quando la 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.