Searched refs:TSC_ADJUST_VALUE (Results 1 – 1 of 1) sorted by relevance
40 #define TSC_ADJUST_VALUE (1ll << 32) macro78 wrmsr(MSR_IA32_TSC, l1_tsc - TSC_ADJUST_VALUE); in l2_guest_code()79 check_ia32_tsc_adjust(-2 * TSC_ADJUST_VALUE); in l2_guest_code()92 GUEST_ASSERT(rdtsc() < TSC_ADJUST_VALUE); in l1_guest_code()93 wrmsr(MSR_IA32_TSC, rdtsc() - TSC_ADJUST_VALUE); in l1_guest_code()94 check_ia32_tsc_adjust(-1 * TSC_ADJUST_VALUE); in l1_guest_code()112 check_ia32_tsc_adjust(-1 * TSC_ADJUST_VALUE); in l1_guest_code()118 check_ia32_tsc_adjust(-2 * TSC_ADJUST_VALUE); in l1_guest_code()126 val, val / TSC_ADJUST_VALUE, val % TSC_ADJUST_VALUE); in report()
