VMX_CTL_ONE_SETTING
if (VMX_CTL_ONE_SETTING(msr, IA32_VMX_PROCBASED_2ND_CTLS)) {
if (VMX_CTL_ONE_SETTING(msr, IA32_VMX_PROCBASED2_EPT)) {
if (VMX_CTL_ONE_SETTING(msr, IA32_VMX_PROCBASED2_VPID)) {