cpu_curr         1184 kernel/sched.c 	resched_task(cpu_curr(cpu));
cpu_curr         1755 kernel/sched.c 	return cpu_curr(task_cpu(p)) == p;
cpu_curr         5075 kernel/sched.c 	return cpu_curr(cpu) == cpu_rq(cpu)->idle;
cpu_curr         8428 kernel/sched.c 	return cpu_curr(cpu);
cpu_curr         8448 kernel/sched.c 	cpu_curr(cpu) = p;