seL4/include/model
Anna Lyons 8576758abf Define SchedulerAction_ChooseNewThread as 1
1 is never a valid tcb, and ~0 on x64 results in 0x00000000FFFFFFFF,
which could be a valid tcb.
2017-12-13 11:47:56 +11:00
..
preemption.h Release snapshot 2014-07-18 05:03:59 +10:00
smp.h SMP: add top level migrateTCB 2017-08-23 11:19:27 +10:00
statedata.h Define SchedulerAction_ChooseNewThread as 1 2017-12-13 11:47:56 +11:00