Lines Matching refs:sched_get_priority_max
5311 os.sched_get_priority_max5324 max = sched_get_priority_max(policy);