PTE_Addr 证明

 

 最近在看 Windows 2000 secrete 是遇到一个公式 PTE_Addr = (VirtualAddr >> 12) * 4 + 0xC0000000

通过查找网络资料之后得到如下证明：

因为1024个页表被映射在0xC0000000 - 0xC03FFFFF地址中，这样就可以得到一个关系，页目录索引n指向的页表就等于0xC0000000 + n * 页表大小，一个页表的大小是1024 * 4 = 4096 = 2的12次方，得到了页表，在加上页表索引就可以得到页表项(PTE)的地址了，

PTE_Addr=((VA&0xffc00000)>>22)*4096+((VA&0x3ff000)>>12)*4+0xc0000000
=(((VA&0xffc00000)>>22)<<12)+(((VA&0x3ff000)>>12)<<2)+0xc0000000
=((VA&0xffc00000)>>10)+((VA&0x3ff000)>>10)+0xc0000000
=((VA&0xffc00000)+(VA&0x3ff000)>>10)+0xc0000000
=((VA&(0xffc00000|0x3ff000))>>10)+0xc0000000
=((VA&0xfffff000)>>10)+0xc0000000
=(((VA&0xfffff000)>>12)<<2)+0xc0000000
=((VA&0xfffff000)>>12)*4+0xc0000000

其中 (VA&0xffc00000)>>22)*4096 是 查找第 n个页表。

(VA&0x3ff000)>>12)*4 是在找到第n个页表的情况下，查找第m个页表项。