Fixes asynchronous tvm_tsc