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

[Peter Zijlstra]

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