ucore-页表宏定义

PADDR（kva）:虚拟地址转化成物理地址

pages数组是怎么跟物理页产生联系的；
首先pages数组的大小 为0~maxpa(探测得到的)
npage = maxpa/psize;
一个物理地址的前高二十位就表示在pages数组中的索引。