seL4/include/model
Anna Lyons 5627c275ce SMP: add top level migrateTCB
On the MCS kernel, Arch_migrateTCB is called in multiple places.
This commit moves the common code that is required when migrating a TCB
to a top level function to reduce boiler plate.
2017-08-23 11:19:27 +10: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 SMP: Introduce ENABLE_SMP_SUPPORT 2017-06-29 16:23:39 +10:00