K 10
svn:author
V 6
tychon
K 8
svn:date
V 27
2014-05-30T23:37:31.503864Z
K 7
svn:log
V 137
If VMX isn't enabled so long as the lock bit isn't set yet in MSR
IA32_FEATURE_CONTROL it still can be.

Approved by:	grehan (co-mentor)

END