Lines Matching refs:priority
41 /* can't assign a priority greater than our own mcp */
448 /* reschedule if the target core is idle or we are waking a higher priority thread (or
1162 userError("Set priority: authority cap not a TCB.");
1171 userError("TCB SetPriority: Requested priority %lu too high (max %lu).",
1215 userError("TCB SetMCPriority: Requested maximum controlled priority %lu too high (max %lu).",
1303 userError("TCB SetSchedParams: Requested maximum controlled priority %lu too high (max %lu).",
1310 userError("TCB SetSchedParams: Requested priority %lu too high (max %lu).",
1753 cptr_t faultep, prio_t mcp, prio_t priority,
1820 setPriority(target, priority);
1830 prio_t mcp, prio_t priority,
1847 setPriority(target, priority);