K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2013-06-26T05:36:51.828803Z
K 7
svn:log
V 353
Add a function to initialize a pmap with the specified type. The existing
pmap_pinit() now becomes a wrapper around this function.

Install the shared kernel mappings only in regular x86 page tables. These
mappings are meaningless in a nested page table which describes the guest
physical address space. This was prompted by a discussion with Alax Cox.

END