Symbol: check_tsc_warp