tf-article2-windbg-32.txt

kd> dt nt!_MMPTE FFFFED00FF0A8E80 -b
   +0x000 u                : <unnamed-tag>
      +0x000 Long             : 0xc1000000`a76cc867
      +0x000 VolatileLong     : 0xc1000000`a76cc867
      +0x000 Hard             : _MMPTE_HARDWARE
         +0x000 Valid            : 0y1
         +0x000 Dirty1           : 0y1
         +0x000 Owner            : 0y1
         +0x000 WriteThrough     : 0y0
         +0x000 CacheDisable     : 0y0
         +0x000 Accessed         : 0y1
         +0x000 Dirty            : 0y1
         +0x000 LargePage        : 0y0
         +0x000 Global           : 0y0
         +0x000 CopyOnWrite      : 0y0
         +0x000 Unused           : 0y0
         +0x000 Write            : 0y1
         +0x000 PageFrameNumber  : 0y000000000000000010100111011011001100 (0xa76cc)
         +0x000 ReservedForHardware : 0y0000
         +0x000 ReservedForSoftware : 0y0000
         +0x000 WsleAge          : 0y0001
         +0x000 WsleProtection   : 0y100
         +0x000 NoExecute        : 0y1
...