K 10
svn:author
V 6
cherry
K 8
svn:date
V 27
2013-01-08T15:23:38.600848Z
K 7
svn:log
V 91
Xen uses vtopte_hold/release() because we do not have dmap.

Approved by: gibbs (implicit)

END