K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2013-07-07T02:49:48.149022Z
K 7
svn:log
V 253
The nested page tables are now maintained by the VM subsystem.

Remove the redundant 'pml4ept[]' and point the EPT to the physical address
of 'pm_pml4' instead.

Also get rid of the 'ept_vmcleanup()' function since this is now done by
'pmap_release()'.

END