Pointeurs 32 bits et pointeurs 64 bits

Le fichier d’en-tête WdbgExts.h prend en charge les pointeurs 32 bits et 64 bits. Pour utiliser des pointeurs 64 bits, incluez simplement les deux lignes suivantes dans votre code, dans l’ordre suivant :

#define KDEXT_64BIT 
#include wdbgexts.h 

Il est recommandé de toujours utiliser des pointeurs 64 bits dans votre code. Cela permet à votre extension de fonctionner sur n’importe quelle plateforme, car le débogueur caste automatiquement les pointeurs 64 bits en 32 bits lorsque la cible est 32 bits.

Si vous envisagez d’utiliser votre extension uniquement sur des plateformes 32 bits, vous pouvez écrire une extension 32 bits à la place. Dans ce cas, il vous suffit d’inclure la ligne suivante dans votre code :

#include wdbgexts.h 

Pour plus d’informations sur l’utilisation des pointeurs 64 bits, consultez Utilisation de la macro DECLARE_API et écriture de code d’extension WdbgExts. En outre, examinez l’exemple de code inclus dans le WDK.