2590 int dup_user_cpus_ptr(struct task_struct *dst, struct task_struct *src,  in dup_user_cpus_ptr()  argument
2600 	dst->user_cpus_ptr = NULL;  in dup_user_cpus_ptr()
2622 		swap(dst->user_cpus_ptr, user_mask);  in dup_user_cpus_ptr()
2623 		cpumask_copy(dst->user_cpus_ptr, src->user_cpus_ptr);  in dup_user_cpus_ptr()
6130 	struct rq *dst = cpu_rq(this), *src = cpu_rq(that);  in try_steal_cookie()  local
6136 	double_rq_lock(dst, src);  in try_steal_cookie()
6138 	cookie = dst->core->core_cookie;  in try_steal_cookie()
6142 	if (dst->curr != dst->idle)  in try_steal_cookie()
6156 		if (p->core_occupation > dst->idle->core_occupation)  in try_steal_cookie()
6161 		activate_task(dst, p, 0);  in try_steal_cookie()
6163 		resched_curr(dst);  in try_steal_cookie()
6173 	double_rq_unlock(dst, src);  in try_steal_cookie()