K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2014-04-26T22:37:56.778497Z
K 7
svn:log
V 155
A VMCS is always inactive when it exits the vmx_run() loop.
Remove redundant code and the misleading comment that suggest otherwise.

Reviewed by:	grehan@

END