1，pmm.c#L472 应该是删除以前在这里的物理地址映射的意思，但是为什么能保证这里的数据是不再被使用的了呢？？

2，memlayout.h#L106 pra_vaddr成员表示的是该页对应的虚拟地址。当然也可以理解为在页换出时候方便的找到pte对他进行。但是就算没有pra，page数据结构不需要一个成员来表明他对应分虚拟地址吗？如果没有pra_vaddr成员，请问如何高效的得到该页对应的虚拟地址？

3，在哪儿指定了进程最大页数