IA32_FEATURE_CONTROL_OUT_SMX
(msr & IA32_FEATURE_CONTROL_OUT_SMX) == 0) {
IA32_FEATURE_CONTROL_OUT_SMX);