Searched defs:switch_buf (Results 1 – 3 of 3) sorted by relevance
74 void os_start_secondary(void *arg, jmp_buf *switch_buf) in os_start_secondary()
26 jmp_buf switch_buf; member
819 int start_idle_thread(void *stack, jmp_buf *switch_buf) in start_idle_thread()