cpu_switchto_asm
void cpu_switchto_asm(struct proc *, struct proc *);
cpu_switchto_asm(old, new);
void cpu_switchto_asm(struct proc *oldproc, struct proc *newproc);
cpu_switchto_asm(oldproc, newproc);
void cpu_switchto_asm(struct proc *, struct proc *);
cpu_switchto_asm(oldproc, newproc);
void cpu_switchto_asm(struct proc *, struct proc *);
cpu_switchto_asm(old, new);
void cpu_switchto_asm(struct proc *, struct proc *);
cpu_switchto_asm(old, new);