tree a0b8c78c61fb2d7b0491150e3589e2d40a4c9ab8
parent dcbb196eef4a83314c872461cebdcc85737164ac
author David Chisnall <github@theravensnest.org> 1717762332 +0100
committer David Chisnall <davidchisnall@users.noreply.github.com> 1717763103 +0100

Fix corner case in tickless scheduling.

There are two reasons we request a timer interrupt:

 - There is a peer at the same scheduler priority.
 - There is a timer that will expire.

If *both* of these were true, we were delaying the scheduling until the
second condition.