On Tue, 21 Oct 2025 at 04:30, Thomas Gleixner <[email protected]> wrote: > > On Mon, Oct 20 2025 at 19:28, David Laight wrote: > > > > (I don't like the word 'masked' at all, not sure where it came from. > > It's what Linus named it and I did not think about the name much so far.
The original implementation was a mask application, so it made sense
at the time.
We could still change it since there aren't that many users, but I'm
not sure what would be a better name...
Linus
