!pte2va
The !pte2va extension displays the virtual address that corresponds to the specified page table entry (PTE).
dbgcmd
!pte2va Address
Address
Specifies the PTE.
Kdexts.dll
For information about page tables and PTEs, see Microsoft Windows Internals, by Mark Russinovich and David Solomon.
To examine the contents of a specific PTE, use the !pte extension.
Here is an example of the output from the !pte2va extension:
dbgcmd
kd> !pte2va 9230
000800000248c000