neel ebf51bf73a 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@
2014-04-26 22:37:56 +00:00
..
2014-04-10 19:15:58 +00:00
2013-12-10 22:56:51 +00:00
2013-12-10 22:56:51 +00:00