Symbol: MSR_TSC_DEADLINE
sys/x86/x86/local_apic.c
1554
wrmsr(MSR_TSC_DEADLINE, la->la_timer_period + rdtsc());
sys/x86/x86/local_apic.c
1563
wrmsr(MSR_TSC_DEADLINE, 0);