K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2013-07-06T06:24:19.967179Z
K 7
svn:log
V 275
Since 'pm_pml4' is always a direct mapped address use DMAP_TO_PHYS() to get
the physical address instead of getting it from recursive page table index.

This allows 'pmap_release()' to work with pmaps that may not have the
recursive page table index populated (e.g. PT_EPT).

END