APIC_LVT_THERMAL
index = APIC_LVT_THERMAL;
case APIC_LVT_THERMAL:
lapic_write32(LAPIC_LVT_THERMAL, lvt_mode(la, APIC_LVT_THERMAL,
if (lapic_maxlvt() < APIC_LVT_THERMAL)
lvts[APIC_LVT_THERMAL].lvt_masked = 0;
if (lapic_maxlvt() < APIC_LVT_THERMAL)
lvts[APIC_LVT_THERMAL].lvt_masked = 1;
[APIC_LVT_THERMAL] = {
if (maxlvt >= APIC_LVT_THERMAL)
if (maxlvt >= APIC_LVT_THERMAL)
lapic_write32(LAPIC_LVT_THERMAL, lvt_mode(la, APIC_LVT_THERMAL,