On Thu, May 11, 2017 at 12:13 AM, Ingo Molnar <[email protected]> wrote: > My personal favorite is double underscores prefix, i.e. 'void *__mm', which > would > clearly signal that this is something special. But this does not appear to > have > been picked up overly widely:
Nice bikeshed! I'll use it.

