Loading RTX64 WinDbg Extension
NOTE: These steps require Windows Driver Kit (WDK) - Debugging Tools for Windows (x64) to be installed. You can download WinDbg and related documentation from this website: http://www.microsoft.com/whdc/devtools/debugging/default.mspx
NOTE: The RTX64 WinDbg Extension is only supported for the 64-bit version of Microsoft WinDbg. On Windows 7 SP1, you can use the WinDbg within WDK for Windows 7. On Windows 8.1, you may have to use the WinDbg within WDK for Windows 8.1. On Windows 10, you can use the WinDbg within WDK for Windows 10.
- Run WinDbg as Administrator. To do this, click Start > All Programs > Debugging Tools for Windows (x64), and then right click on WinDbg and click Run as administrator. The WinDbg window appears.
- In the File menu, click Open Crash Dump...
- Browse for the DMP file. By default, DMP files are saved to
%SystemRoot%. - Click Open. WinDbg loads the memory dump file. Alternatively, you can break into a Target system.
-
To load the RTX64 WinDbg Extension, type the following at the debugger command prompt:
.load RtDbgExt.dll
If the above command fails to load the RtDbgExt.dll, include the full path to the location of the DLL:
.load C:\Program Files\IntervalZero\RTX64 SDK\3.7\WinDbgExtension\rtdbgext.dll
Running RTX64 WinDbg Extension Commands
Once the RTX64 WinDbg Extension is loaded, you can use any of the supported commands. To do this, type the command at the debugger command prompt. For example:
!rtversion
For the complete list of supported commands, see RTX64 WinDbg Extension Commands Reference.
