vmx_ctl_allows_one_setting
else if (vmx_ctl_allows_one_setting(val, i)) /* c(iv) */
one_allowed = vmx_ctl_allows_one_setting(trueval, i);