MSR_IA32_MISC_ENABLE_TM1
if ((l & MSR_IA32_MISC_ENABLE_TM1) && (h & APIC_DM_SMI)) {
wrmsr(MSR_IA32_MISC_ENABLE, l | MSR_IA32_MISC_ENABLE_TM1, h);
msr & MSR_IA32_MISC_ENABLE_TM1 ? "" : "No-",