Searched refs:idle_thread (Results 1 - 7 of 7) sorted by relevance

/seL4-test-master/kernel/src/arch/x86/
H A Didle.c10 void idle_thread(void) function
29 idle_thread();
/seL4-test-master/kernel/src/arch/riscv/
H A Didle.c11 void idle_thread(void) function
/seL4-test-master/kernel/src/arch/arm/32/
H A Didle.c21 void FORCE_O2 idle_thread(void) function
40 idle_thread();
/seL4-test-master/kernel/src/arch/arm/64/
H A Didle.c11 void idle_thread(void) function
30 idle_thread();
/seL4-test-master/kernel/include/arch/arm/arch/kernel/
H A Dvspace.h30 void idle_thread(void);
31 #define idleThreadStart (&idle_thread)
/seL4-test-master/kernel/include/arch/riscv/arch/kernel/
H A Dvspace.h26 void idle_thread(void);
27 #define idleThreadStart (&idle_thread)
/seL4-test-master/kernel/include/arch/x86/arch/kernel/
H A Dvspace.h70 void idle_thread(void);
71 #define idleThreadStart (&idle_thread)

Completed in 39 milliseconds