1,pmm.c#L472 应该是删除以前在这里的物理地址映射的意思,但是为什么能保证这里的数据是不再被使用的了呢??
2,memlayout.h#L106 pra_vaddr成员表示的是该页对应的虚拟地址。当然也可以理解为在页换出时候方便的找到pte对他进行。但是就算没有pra,page数据结构不需要一个成员来表明他对应分虚拟地址吗?如果没有pra_vaddr成员,请问如何高效的得到该页对应的虚拟地址?
3,在哪儿指定了进程最大页数