this_cpupid      1413 kernel/sched/fair.c 	int last_cpupid, this_cpupid;
this_cpupid      1415 kernel/sched/fair.c 	this_cpupid = cpu_pid_to_cpupid(dst_cpu, current->pid);
this_cpupid      1416 kernel/sched/fair.c 	last_cpupid = page_cpupid_xchg_last(page, this_cpupid);