Rename check_time() to check_tsc().