Lines Matching defs:priority
78 int min, max, new, priority;
81 /* Get the priority range for the new scheduler */
86 priority = param.sched_priority;
90 if (priority != new)
93 ATF_REQUIRE_MSG(priority != new, "could not find different priority");
108 int pid, scheduler, child_scheduler, priority, status, pfd[2];
125 priority = get_different_priority(scheduler);
126 sp.sched_priority = priority;
127 printf("using scheduler %d, priority %d\n", scheduler, priority);
154 "priority is: %d, but we requested: %d",
Indexes created Tue Sep 23 14:10:03 GMT 2025