vmx_settable
pin = vmx_settable(basic, MSR_VMX_PINBASED_CTLS,
proc = vmx_settable(basic, MSR_VMX_PROCBASED_CTLS,
proc2 = vmx_settable(basic, MSR_VMX_PROCBASED_CTLS2,
exit = vmx_settable(basic, MSR_VMX_EXIT_CTLS, MSR_VMX_TRUE_EXIT_CTLS);
entry = vmx_settable(basic, MSR_VMX_ENTRY_CTLS, MSR_VMX_TRUE_ENTRY_CTLS);