Lines Matching full:higher
2584 * If we're running at a higher priority, sched_yield() may not do anything,3221 * numbers indicate higher priority.
