slave_startup
tp = thread_create(NULL, 0, slave_startup, NULL, 0, &p0,
tp->t_pc = (uintptr_t)slave_startup - 8;
static void slave_startup(void);