Searched refs:num_sched (Results 1 – 1 of 1) sorted by relevance
224 int num_sched = 0; in main() local246 num_sched++; in main()252 lthread_num_schedulers_set(num_sched); in main()