Searched refs:MSR_IA32_TSC_DEADLINE (Results 1 – 3 of 3) sorted by relevance
338 #define MSR_IA32_TSC_DEADLINE 0x000006E0 macro
1266 wrmsrl(MSR_IA32_TSC_DEADLINE, timeout ? stime2tsc(timeout) : 0); in reprogram_timer()
3449 case MSR_IA32_TSC_DEADLINE: in hvm_msr_read_intercept()3593 case MSR_IA32_TSC_DEADLINE: in hvm_msr_write_intercept()
Completed in 18 milliseconds