cpu_switchto
cpu_switchto(NULL, idle);
cpu_switchto(p, nextproc);
void cpu_switchto(struct proc *, struct proc *);