[RFC] address space annotation in the server

Alan Coopersmith alan.coopersmith at sun.com
Thu Jan 4 07:58:01 PST 2007

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.

	-Alan Coopersmith-           alan.coopersmith at sun.com
	 Sun Microsystems, Inc. - X Window System Engineering

More information about the xorg mailing list