IA32_DEBUG_INTERFACE_ENABLE
if ((msr & IA32_DEBUG_INTERFACE_ENABLE) &&
} else if (msr & IA32_DEBUG_INTERFACE_ENABLE)
if ((msr & IA32_DEBUG_INTERFACE_ENABLE) &&
} else if (msr & IA32_DEBUG_INTERFACE_ENABLE)