On Thu, Sep 06, 2018 at 03:38:20PM -0700, Linus Torvalds wrote: > On Thu, Sep 6, 2018 at 3:30 PM Luc Van Oostenryck > <luc.vanoostenryck@xxxxxxxxx> wrote: > > > > This makes easier to discriminate in between different address > > spaces. > > I think it also makes it obvious how much better it would be if the > address space number was a string, not a number. Oh yes. I said essentially the same to Vincenzo a few hours ago in the KHWASAN thread. I suppose that hard-coding these names wouldn't be too bad. Otherwise, I only see something like: #pragma sparse address_space_name(1, "user") to add to "linux/compiler_types.h". It would be more flexible but is a bit ugly. -- Luc