switch_threads
switch_threads(prev, next);
static void switch_threads(struct thread *prev, struct thread *next);