APIC_OFFSET_THERM_LVT
case APIC_OFFSET_THERM_LVT:
vlapic_lvt_write_handler(vlapic, APIC_OFFSET_THERM_LVT);