Re:“Fast Kernel Headers” Tree -v1: Eliminate the Linux Kerne...
by alexforencich on Monday January 03, 2022 @03:26AM
(#29778550)
https://elixir.bootlin.com/linux/latest/source can be far more helpful than grep for this sort of thing
As someone who tried poking around: Oh good; I assumed I was just missing something. Alternatively, oh no; I had assumed I was missing something and there was a more elegant tool out there.