Searched refs:MSR_IA32_TSC_DEADLINE (Results 1 – 2 of 2) sorted by relevance
800 wrmsr64(MSR_IA32_TSC_DEADLINE, deadline); in lapic_set_tsc_deadline_timer()806 return rdmsr64(MSR_IA32_TSC_DEADLINE); in lapic_get_tsc_deadline_timer()1167 wrmsr64(MSR_IA32_TSC_DEADLINE, 0); in lapic_disable_timer()
761 #define MSR_IA32_TSC_DEADLINE 0x6e0 macro