Searched defs:switch_buf (Results 1 – 4 of 4) sorted by relevance
29 jmp_buf switch_buf; member
30 jmp_buf switch_buf; member
640 int start_idle_thread(void *stack, jmp_buf *switch_buf) in start_idle_thread()
580 int start_idle_thread(void *stack, jmp_buf *switch_buf) in start_idle_thread()