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

/seL4-master/src/model/
A D	smp.c	18 Arch_migrateTCB(tcb); in migrateTCB()
/seL4-master/src/arch/arm/object/
A D	tcb.c	26 void Arch_migrateTCB(tcb_t *thread) in Arch_migrateTCB() function
/seL4-master/src/arch/riscv/object/
A D	tcb.c	26 void Arch_migrateTCB(tcb_t *thread) in Arch_migrateTCB() function
/seL4-master/src/arch/x86/object/
A D	tcb.c	85 void Arch_migrateTCB(tcb_t *thread) in Arch_migrateTCB() function
/seL4-master/include/object/
A D	tcb.h	227 void Arch_migrateTCB(tcb_t *thread);

Completed in 4 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023