Hi Luc, On Thu, Jun 18, 2020 at 12:02 AM Luc Van Oostenryck <luc.vanoostenr...@gmail.com> wrote: > > diff --git a/include/linux/compiler_types.h b/include/linux/compiler_types.h > index 21aed0981edf..e368384445b6 100644 > --- a/include/linux/compiler_types.h > +++ b/include/linux/compiler_types.h > @@ -5,20 +5,20 @@ > #ifndef __ASSEMBLY__ > > #ifdef __CHECKER__ > -# define __user __attribute__((noderef, address_space(1))) > # define __kernel __attribute__((address_space(0))) > +# define __user __attribute__((noderef, > address_space(__user)))
I guess `__kernel` moves to the first place since it uses the first address space? Acked-by: Miguel Ojeda <miguel.ojeda.sando...@gmail.com> Cheers, Miguel
