Symbol: sched_core_put_cookie
kernel/sched/core_sched.c
120
sched_core_put_cookie(p->core_cookie);
kernel/sched/core_sched.c
127
sched_core_put_cookie(cookie);
kernel/sched/core_sched.c
234
sched_core_put_cookie(cookie);