Xen pagetable handling, including the machinery to implement directpagetables. This means that pte update operations are intercepted sothat pseudo-physical addresses can be converted to machine addresses.It also implements late pinning/early unpinning so that pagetables areinitialized while they're normal read-write memory as much aspossible, yet pinned to make cr3 reloads as efficient as possible.