Lines Matching defs:prio
363 /* Avoid checking bitmap when ksCurThread is higher prio, to
365 * Don't look at ksCurThread prio when it's idle, to respect
407 word_t prio;
418 prio = getHighestPrio(dom);
419 thread = NODE_STATE(ksReadyQueues)[ready_queues_index(dom, prio)].head;
475 void setPriority(tcb_t *tptr, prio_t prio)
482 tptr->tcbPriority = prio;
486 tptr->tcbPriority = prio;
491 tptr->tcbPriority = prio;
495 tptr->tcbPriority = prio;
499 tptr->tcbPriority = prio;
504 void setPriority(tcb_t *tptr, prio_t prio)
507 tptr->tcbPriority = prio;