Searched refs:device_thread_pool (Results 1 – 2 of 2) sorted by relevance
558 thread::ThreadPool* device_thread_pool = in StartParallelExecutors() local560 if (!device_thread_pool) { in StartParallelExecutors()564 std::bind(&thread::ThreadPool::Schedule, device_thread_pool, _1); in StartParallelExecutors()
716 thread::ThreadPool* device_thread_pool = in RunInternal() local720 if (!device_thread_pool) { in RunInternal()723 args->runner = [device_thread_pool](Executor::Args::Closure c) { in RunInternal()724 device_thread_pool->Schedule(std::move(c)); in RunInternal()