K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2014-01-06T23:16:39.268374Z
K 7
svn:log
V 269
Split the VMCS setup between 'vmcs_init()' that does initialization and
'vmx_vminit()' that does customization.

This makes it easier to turn on optional features (e.g. APICv) without
having to keep adding new parameters to 'vmcs_set_defaults()'.

Reviewed by:	grehan@

END