sched_catchlwp
l = sched_catchlwp(tci);
l = sched_catchlwp(inner);
static lwp_t * sched_catchlwp(struct cpu_info *);