Compartir a través de


Punteros de 32 bits y punteros de 64 bits

El archivo de encabezado WdbgExts.h admite punteros de 32 y 64 bits. Para usar punteros de 64 bits, basta con incluir las dos líneas siguientes en el código, en el orden siguiente:

#define KDEXT_64BIT 
#include wdbgexts.h 

Se recomienda usar siempre punteros de 64 bits en el código. Esto permite que la extensión funcione en cualquier plataforma, ya que el depurador convertirá automáticamente punteros de 64 bits a 32 bits cuando el destino sea de 32 bits.

Si piensa usar la extensión solo en plataformas de 32 bits, puede escribir una extensión de 32 bits en su lugar. En ese caso, solo tiene que incluir la línea siguiente en el código:

#include wdbgexts.h 

Para obtener información adicional sobre cómo trabajar con los punteros de 64 bits, vea Usar la macro de DECLARE_API y escribir código de extensión WdbgExts. Además, examine el código de ejemplo que se incluye como parte del WDK.