void os_sched_resort(struct os_task *t)
Inform scheduler that the priority of the task t has changed (e.g. in order to avoid priority inversion), and the ready to run list should be re-sorted.
Arguments | Description |
---|---|
t | Pointer to a task whose priority has changed |
N/A
t must be ready to run before calling this.