Hi, it seems !pte extension in WinDbg does not work as expected. For example if I pass it the address 0x00000000FFEE1000 it actually extends the lower part “FFEE1000” adding 8 “F” in front:
lkd> !pte 0x00000000FFEE1000
VA ffffffffffee1000
PXE at FFFFF6FB7DBEDFF8 PPE at FFFFF6FB7DBFFFF8 PDE at FFFFF6FB7FFFFFF8 PTE at FFFFF6FFFFFFF708
contains 00000000001E8063 contains 00000000001E7063 contains 00000000001E9063 contains 0000000000000000
pfn 1e8 —DA–KWEV pfn 1e7 —DA–KWEV pfn 1e9 —DA–KWEV not valid
Is it actually the expected behavior ? Thanks.