K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2013-07-03T06:43:06.465647Z
K 7
svn:log
V 284
There is no need to assign a VPID to a virtual machine since we are using
nested page tables. All mappings created in the VMX non-root mode are tagged
with the EP4TA which is guaranteed to be unique for each virtual machine.

This makes the use of VPIDs redundant so get rid of them.

END