sched_cpuattach
sched_cpuattach(ci);
sched_cpuattach(curcpu());
void sched_cpuattach(struct cpu_info *);