K 10
svn:author
V 6
cherry
K 8
svn:date
V 27
2014-04-17T09:14:52.116398Z
K 7
svn:log
V 528
Enable mmu_map managed amd64 maps to be destroyed after use.
This involves testing that the backing pages are no longer in
use, and delinking them in the page hierarchy, before they are
freed back to the kernel.

This is the last supporting patch for what would have been the
mmu_map(9) MI api, which I have now abandoned in favour of the
DMAP based native approach to page table management. This will
make the amd64/xen/pmap.c code much easier to maintain.

WARNING: This KPI will be deprecated!

Approved by:	gibbs (implicit)

END