Symbol: vmx_ctl_allows_zero_setting