os_start_secondary
void os_start_secondary(void *arg, jmp_buf *switch_buf);
os_start_secondary(opaque, &idle->thread.switch_buf);