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.