On (24/11/28 20:18), Sergey Senozhatsky wrote:
Disable the TSC Deadline timer in lapic_timer_shutdown() by writing to MSR_IA32_TSC_DEADLINE when in TSC-deadline mode. Also avoid writing to the initial-count register (APIC_TMICT) which is ignored in TSC-deadline mode.
Upstream commit ffd95846c6ec6cf1f93da411ea10d504036cab42 (forgot to mention)