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

/seL4-l4v-10.1.1/seL4/src/arch/x86/
H A Didle.c16 void idle_thread(void) function
35 idle_thread();
/seL4-l4v-10.1.1/seL4/src/arch/riscv/
H A Didle.c22 void idle_thread(void) function
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/
H A Didle.c23 void FORCE_O2 idle_thread(void) function
42 idle_thread();
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/
H A Didle.c17 void idle_thread(void) function
36 idle_thread();
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/kernel/
H A Dvspace.h34 void idle_thread(void);
35 #define idleThreadStart (&idle_thread)
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/kernel/
H A Dvspace.h38 void idle_thread(void);
39 #define idleThreadStart (&idle_thread)
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dvspace.h75 void idle_thread(void);
76 #define idleThreadStart (&idle_thread)

Completed in 36 milliseconds