Don't restart the real-time timer interrupt unless the restart would
authorChris Hanson <org/chris-hanson/cph>
Fri, 3 Sep 1993 06:59:24 +0000 (06:59 +0000)
committerChris Hanson <org/chris-hanson/cph>
Fri, 3 Sep 1993 06:59:24 +0000 (06:59 +0000)
commit20fc5ef4db27376655467c593e4f998857a394ff
treec019ec5f459140cc508e05bc9604cadfed5cc1ac
parente8964e4848bdbce70cb2cd8e0dc3414f075efdea
Don't restart the real-time timer interrupt unless the restart would
cause the interrupt to be delivered before it would have been
otherwise.
v7/src/runtime/thread.scm