vmx_ctl_allows_one_setting
one_allowed = vmx_ctl_allows_one_setting(trueval, i);
} else if (vmx_ctl_allows_one_setting(val, i)) {