Skip to content
Snippets Groups Projects
user avatar
Gerwin Klein authored
Move the ksCurTime assertions out of setDeadline, because they are not
necessarily true there. Assert ksCurTime in setNextInterrupt instead.

We only know that the deadline being set is at least ksCurTime -
getTimerPrecision(), which can be slightly in the past (ksCurTime is
already slightly in the past, at kernel entry).

Signed-off-by: default avatarGerwin Klein <gerwin.klein@proofcraft.systems>
dac28572
History
Name Last commit Last update