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.