[RFC] address space annotation in the server

[Jesse Barnes]

On Thursday, January 4, 2007 7:58 am, Alan Coopersmith wrote:
> Jesse Barnes wrote:
> > +#ifdef __CHECKER__
> > +#define __iomem __attribute__((noderef, address_space(1)))
> > +#endif
>
> Don't you also need an
>   #else
>   #define __iomem /**/
>
> in there?
>
> More tools for having software find our bugs before our users do
> is always a good thing though.

Yes, definitely (obviously didn't compile test this :).

Jesse