THERMAL_APIC_VECTOR
SYSVEC(THERMAL_APIC_VECTOR, thermal),
DECLARE_IDTENTRY_SYSVEC(THERMAL_APIC_VECTOR, sysvec_thermal);
INTG(THERMAL_APIC_VECTOR, asm_sysvec_thermal),
trace_thermal_apic_entry(THERMAL_APIC_VECTOR);
trace_thermal_apic_exit(THERMAL_APIC_VECTOR);
h = THERMAL_APIC_VECTOR | APIC_DM_FIXED | APIC_LVT_MASKED;