[RFC] address space annotation in the server
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
> #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 :).
More information about the xorg