Searched refs:MSR_IA32_TSC (Results 1 – 4 of 4) sorted by relevance
78 wrmsr(MSR_IA32_TSC, l1_tsc - TSC_ADJUST_VALUE); in l2_guest_code()93 wrmsr(MSR_IA32_TSC, rdtsc() - TSC_ADJUST_VALUE); in l1_guest_code()
252 #define write_tsc(val1, val2) wrmsr(MSR_IA32_TSC, (val1), (val2))
358 #define MSR_IA32_TSC 0x00000010 macro
758 #define MSR_IA32_TSC 0x00000010 macro