K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2013-06-25T03:57:27.857449Z
K 7
svn:log
V 641
vtopte()/vtopde() can never be used to lookup the PTE/PDE associated with
a guest physical address since the page tables pointed to by the nested pmap
are never installed in the host %cr3.

The recursive mapping used by these functions will end up using the page
tables associated with the host thread that provides the execution context
for the vcpu - which is clearly wrong!

Since the user virtual address space is numerically identical to the
guest physical address space this restriction can be expressed in terms
of VM_MAXUSER_ADDRESS.

This is safe because the amd64/pmap code never uses vtopte()/vtopde() for
user virtual addresses.

END