MSR_IA32_TSC_DEADLINE
wrmsrq(MSR_IA32_TSC_DEADLINE, tsc + (((u64) delta) * TSC_DIVISOR));
wrmsrq(MSR_IA32_TSC_DEADLINE, 0);
case MSR_IA32_TSC_DEADLINE:
case MSR_IA32_TSC_DEADLINE:
case MSR_IA32_TSC_DEADLINE:
MSR_IA32_TSC_DEADLINE,
case MSR_IA32_TSC_DEADLINE:
"movl $" __stringify(MSR_IA32_TSC_DEADLINE) ", %%ecx\n\t"