Searched refs:IA32_DEADLINE_TSC_MSR (Results 1 – 2 of 2) sorted by relevance
290 wrmsr(IA32_DEADLINE_TSC_MSR, 1ULL << 63); in deadline_timer_enable()291 ticks = rdmsr(IA32_DEADLINE_TSC_MSR); in deadline_timer_enable()321 wrmsr(IA32_DEADLINE_TSC_MSR, ticks); in deadline_timer_reprogram()
40 #define IA32_DEADLINE_TSC_MSR 0x6E0 macro