Re: [PATCH v4 00/15] Fast kernel headers: split linux/mm.h

[Max Kellermann]

On Tue, Mar 12, 2024 at 5:10 PM David Hildenbrand <david@xxxxxxxxxx> wrote:
> >   include/linux/mm.h                            | 583 +-----------------
> >   include/linux/mm/devmap_managed.h             |  37 ++
> >   include/linux/mm/folio_next.h                 |  27 +
>
> Isn't that a bit excessive? Do we really need that many folio headers?

It would technically be possible to have fewer headers by merging
several of those headers back into one, but then the dependencies will
be heavier, and eventually we'd be back at the large "mm.h" mess that
I would like to get rid of.
My patch set constitutes the balance of "not too many headers" vs
"small set of unnecessary dependencies for each including source file"
according to my taste.

Max