History log of /seL4-l4v-10.1.1/seL4/src/model/smp.c
Revision Date Author Comments
# a990fb3f 22-Aug-2017 Bamboo <bamboo@keg.ertos.in.nicta.com.au>

[STYLE_FIX]


# 5627c275 22-Aug-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

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.