K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2013-12-03T01:21:21.922738Z
K 7
svn:log
V 98
The 'protection' field in the VM exit collateral for the PAGING exit is not
used - get rid of it.

END