check_ia32_tsc_adjust
check_ia32_tsc_adjust(-2 * TSC_ADJUST_VALUE);
check_ia32_tsc_adjust(-1 * TSC_ADJUST_VALUE);