tsc_verify_tsc_adjust
extern void tsc_verify_tsc_adjust(bool resume);
tsc_verify_tsc_adjust(false);
tsc_verify_tsc_adjust(true);
tsc_verify_tsc_adjust(false);
tsc_verify_tsc_adjust(true);