Re: [PATCH] sched/deadline: Fix missing ENQUEUE_REPLENISH during PI de-boosting

[Juri Lelli]

On 06/02/26 16:39, Peter Zijlstra wrote:
> On Fri, Feb 06, 2026 at 02:25:52PM +0100, Juri Lelli wrote:
> 
> > diff --git a/kernel/sched/syscalls.c b/kernel/sched/syscalls.c
> > index 6f10db3646e7f..369e47b4ea863 100644
> > --- a/kernel/sched/syscalls.c
> > +++ b/kernel/sched/syscalls.c
> > @@ -7,6 +7,7 @@
> >   *  Copyright (C) 1991-2002  Linus Torvalds
> >   *  Copyright (C) 1998-2024  Ingo Molnar, Red Hat
> >   */
> > +#include "linux/sched/rt.h"
> >  #include <linux/sched.h>
> >  #include <linux/cpuset.h>
> >  #include <linux/sched/debug.h>
> 
> Is this clangd being 'helpful' ? Or an over eager AI thing? In case of
> clangd, add to .clangd:
> 
> Completion:
>   HeaderInsertion: Never
> 

clangd. Thanks for the suggestion! Will add.

Best,
Juri