> diff --git a/kernel/sched/debug.c b/kernel/sched/debug.c
> index cffdfab..50c31f3 100644
> --- a/kernel/sched/debug.c
> +++ b/kernel/sched/debug.c
> @@ -1030,6 +1030,7 @@ void proc_sched_show_task(struct task_struct *p, struct
> pid_namespace *ns,
>
> #ifdef CONFIG_SCHED_CORE
> __PS("core_cookie", p->core_cookie);
> + __PS("core_task_cookie", p->core_task_cookie);
> #endif
Hmm, so the final cookie of the task is always p->core_cookie. This is what
the scheduler uses. All other fields are ingredients to derive the final
cookie value.
I will drop this hunk from your overall diff, but let me know if you
disagree!
thanks,
- Joel