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.
|