kernel/sched/core.c

206 	if (a->core_cookie < b->core_cookie)
209 	if (a->core_cookie > b->core_cookie)
231 	if (cookie < p->core_cookie)
234 	if (cookie > p->core_cookie)
244 	if (!p->core_cookie)
288 		if (p->core_cookie != cookie)
6077 	return is_task_rq_idle(a) || (a->core_cookie == cookie);
6085 	return a->core_cookie == b->core_cookie;
6161 	need_sync = !!rq->core->core_cookie;
6164 	rq->core->core_cookie = 0UL;
6197 		if (!next->core_cookie) {
6231 	cookie = rq->core->core_cookie = max->core_cookie;
6343 	cookie = dst->core->core_cookie;
6432 	if (!rq->core->core_cookie)
6517 	core_rq->core_cookie               = rq->core_cookie;
10063 		rq->core_cookie = 0UL;