Informazioni sulla destinazione WdbgExts

Per determinare se la destinazione usa puntatori a 32 bit o a 64 bit per gli indirizzi di memoria, usare la funzione IsPtr64.

Per informazioni sul sistema operativo di destinazione, usare l'operazione IoctlIG_GET_KERNEL_VERSION. Per ottenere il numero totale di processori nella destinazione e scoprire quale è il processore corrente, usare la funzione GetKdContext.

La funzione GetDebuggerData restituisce una struttura KDDEBUGGER_DATA64 o KDDEBUGGER_DATA32 che contiene informazioni sulla destinazione su cui il motore del debugger ha eseguito query o determinato durante la sessione corrente. Queste informazioni includono determinati percorsi di destinazione chiave e valori di stato specifici.

Il debugger memorizza nella cache alcune informazioni ottenute dalla destinazione. La funzione GetDebuggerCacheSize restituirà le dimensioni di questa cache.

Informazioni aggiuntive

Per un'API di destinazione più potente, vedere Informazioni di destinazione nella sezione Uso dell'API del motore di debugger di questa documentazione.