Symbol: IA32_DEADLINE_TSC_MSR
usr/src/uts/i86pc/io/pcplusmp/apic_timer.c
290
wrmsr(IA32_DEADLINE_TSC_MSR, 1ULL << 63);
usr/src/uts/i86pc/io/pcplusmp/apic_timer.c
291
ticks = rdmsr(IA32_DEADLINE_TSC_MSR);
usr/src/uts/i86pc/io/pcplusmp/apic_timer.c
321
wrmsr(IA32_DEADLINE_TSC_MSR, ticks);