-
In case the current task switches to RT and the current CPU is not a fit try to find an available fitting CPU immediately by pushing the task away, i.e. by queuing a push_curr_rt_task() callback. Signed-off-by: Dietmar Eggemann <dietmar.eggemann@arm.com>
97e90b39