Page Table Interface Design

[hungry-foolish]

In the current page table interface design, the map operation always goes through many layers of page table to map in a single page. If we can use the intermediate layers and map pages between them, then more work can be handled by the user level, and we can spare these lookups in the kernel.

On potential problem is liveness, because we use such IDs to track the validity of components. It is still unclear whether this will influence the design of this interface.