Searched refs:shared_scheduler_options (Results 1 – 1 of 1) sorted by relevance
305 typename SharedBatchScheduler<TaskType>::Options shared_scheduler_options; in Create() local306 shared_scheduler_options.thread_pool_name = options.thread_pool_name; in Create()307 shared_scheduler_options.num_batch_threads = options.num_batch_threads; in Create()308 shared_scheduler_options.env = options.env; in Create()311 shared_scheduler_options, &shared_scheduler)); in Create()