Name promote_waits
Definition promote_waits : expr(void).
Defined in ctrl.l
Implementation builtin
Description Raise the priority of all threads with priority PRI_DEMWAIT to PRI_WAIT.
Note This is part of the innards of the scheduler. It gets called whenever something has changed which makes wait_until expressions need reevaluating. Most code does not need to call this directly.