K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2014-05-22T17:22:37.557652Z
K 7
svn:log
V 216
Allow vmx_getdesc() and vmx_setdesc() to be called for a vcpu that is in the
VCPU_RUNNING state. This will let the VMX exit handler inspect the vcpu's
segment descriptors without having to exit the critical section.

END