Gerwin Klein dac2857229 mcs: move setDeadline assertions ... 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: Gerwin Klein <gerwin.klein@proofcraft.systems>		2023-11-08 11:01:00 +11:00
..
assembler.h	replacing all ifndef with pargma once	2020-03-23 11:04:46 +11:00
capdl.h	define generic debug_capDL() function	2021-05-14 13:03:39 +10:00
debug.h	replacing all ifndef with pargma once	2020-03-23 11:04:46 +11:00
fpu.h	replacing all ifndef with pargma once	2020-03-23 11:04:46 +11:00
interrupt.h	replacing all ifndef with pargma once	2020-03-23 11:04:46 +11:00
io.h	debug: restructure kernel console handling	2021-05-14 13:13:36 +10:00
profiler.h	replacing all ifndef with pargma once	2020-03-23 11:04:46 +11:00
registerset.h	replacing all ifndef with pargma once	2020-03-23 11:04:46 +11:00
timer.h	mcs: move setDeadline assertions	2023-11-08 11:01:00 +11:00