Searched refs:check_ia32_tsc_adjust (Results 1 – 1 of 1) sorted by relevance
65 static void check_ia32_tsc_adjust(int64_t max) in check_ia32_tsc_adjust() function79 check_ia32_tsc_adjust(-2 * TSC_ADJUST_VALUE); in l2_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()
