Searched refs:Arch_migrateTCB (Results 1 - 5 of 5) sorted by relevance

/seL4-test-master/kernel/src/model/
H A Dsmp.c18 Arch_migrateTCB(tcb);
/seL4-test-master/kernel/src/arch/arm/object/
H A Dtcb.c26 void Arch_migrateTCB(tcb_t *thread) function
/seL4-test-master/kernel/src/arch/riscv/object/
H A Dtcb.c26 void Arch_migrateTCB(tcb_t *thread) function
/seL4-test-master/kernel/src/arch/x86/object/
H A Dtcb.c85 void Arch_migrateTCB(tcb_t *thread) function
/seL4-test-master/kernel/include/object/
H A Dtcb.h230 void Arch_migrateTCB(tcb_t *thread);

Completed in 32 milliseconds