Home
last modified time | relevance | path

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

/seL4-master/src/arch/x86/
A Didle.c16 __attribute__((naked)) NORETURN void idle_thread(void) in idle_thread() function
39 idle_thread(); in halt()
/seL4-master/src/arch/arm/32/
A Didle.c21 void FORCE_O2 idle_thread(void) in idle_thread() function
40 idle_thread(); in halt()
/seL4-master/src/arch/arm/64/
A Didle.c11 void idle_thread(void) in idle_thread() function
30 idle_thread(); in halt()
/seL4-master/include/arch/arm/arch/kernel/
A Dvspace.h30 void idle_thread(void);
31 #define idleThreadStart (&idle_thread)
/seL4-master/include/arch/riscv/arch/kernel/
A Dvspace.h26 void idle_thread(void);
27 #define idleThreadStart (&idle_thread)
/seL4-master/src/arch/riscv/
A Didle.c11 void idle_thread(void) in idle_thread() function
/seL4-master/include/arch/x86/arch/kernel/
A Dvspace.h70 void idle_thread(void);
71 #define idleThreadStart (&idle_thread)

Completed in 4 milliseconds