Gerwin Klein 02ddcd110a mcs: Remove domain time check from preemptionPoint ... This removes the operations that trigger a reschedule or reprogram the timer from `preemptionPoint` to ensure the relevant state updates in the proof occur where they are easier to verify. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>		2021-08-24 10:22:33 +10:00
..
boot.h	boot: make functions static	2021-08-18 08:55:48 +10:00
cspace.h	replacing all ifndef with pargma once	2020-03-23 11:04:46 +11:00
faulthandler.h	replacing all ifndef with pargma once	2020-03-23 11:04:46 +11:00
sporadic.h	mcs: sc_active not always true in sc_sporadic	2021-08-20 16:52:12 +10:00
stack.h	replacing all ifndef with pargma once	2020-03-23 11:04:46 +11:00
thread.h	mcs: Remove domain time check from preemptionPoint	2021-08-24 10:22:33 +10:00
traps.h	KernelBenchmarksTrackUtilisation: Add more stats	2020-07-15 15:15:27 +10:00
vspace.h	Make kernel log buffer derived from cmake config	2020-11-10 16:24:43 +11:00