Searched defs:Arch_migrateTCB (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/ | ||
H A D | tcb.c | 33 Arch_migrateTCB(tcb_t *thread) function |
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/ | ||
H A D | tcb.c | 90 Arch_migrateTCB(tcb_t *thread) function |
Completed in 79 milliseconds