Messages in this thread | | | From | Miguel Ojeda <> | Date | Thu, 18 Jun 2020 03:22:15 +0200 | Subject | Re: [PATCH] sparse: use identifiers to define address spaces |
| |
Hi Luc,
On Thu, Jun 18, 2020 at 12:02 AM Luc Van Oostenryck <luc.vanoostenryck@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.sandonis@gmail.com>
Cheers, Miguel
| |