Billy Laws b87f451746 Handle empty core queues in Scheduler::UpdatePriority
If the queue is empty then begin() == end() leading to
ArmPreemptionTimer being called on an unscheduled thread.
2021-06-20 14:18:40 +01:00
..
2019-10-18 16:22:38 +05:30
2021-06-17 20:30:22 +05:30