[RFC] address space annotation in the server

Jesse Barnes jbarnes at virtuousgeek.org
Thu Jan 4 09:03:36 PST 2007


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



More information about the xorg mailing list