Searched refs:activateThread (Results 1 - 11 of 11) sorted by relevance

/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dsmp_sys.c139 activateThread();
H A Dboot_sys.c737 activateThread();
/seL4-test-master/kernel/src/smp/
H A Dipi.c59 activateThread();
/seL4-test-master/kernel/src/api/
H A Dsyscall.c61 activateThread();
331 activateThread();
343 activateThread();
360 activateThread();
741 activateThread();
/seL4-test-master/kernel/include/kernel/
H A Dthread.h173 void activateThread(void);
/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dboot.c458 activateThread();
/seL4-test-master/kernel/src/arch/x86/machine/
H A Dbreakpoint.c636 activateThread();
/seL4-test-master/kernel/src/arch/arm/kernel/
H A Dboot.c615 activateThread();
/seL4-test-master/kernel/src/arch/arm/object/
H A Dvcpu.c564 activateThread();
/seL4-test-master/kernel/src/kernel/
H A Dthread.c35 void activateThread(void) function
/seL4-test-master/kernel/src/arch/x86/object/
H A Dvcpu.c1097 activateThread();

Completed in 100 milliseconds