Searched refs:total_dispatch_count (Results 1 – 1 of 1) sorted by relevance
981 unsigned int total_dispatch_count = 0; in dispatch() local1068 if (total_dispatch_count >= DEFAULT_TASKMGR_QUANTUM || in dispatch()1120 total_dispatch_count++; in dispatch()