Symbol: sched_core_get_cookie
kernel/sched/core_sched.c
106
cookie = sched_core_get_cookie(p->core_cookie);
kernel/sched/core_sched.c
125
cookie = sched_core_get_cookie(cookie);