currpri           133 kernel/sched/cpupri.c 	int *currpri = &cp->cpu_to_pri[cpu];
currpri           134 kernel/sched/cpupri.c 	int oldpri = *currpri;
currpri           190 kernel/sched/cpupri.c 	*currpri = newpri;