[RFC] address space annotation in the server

[Alan Coopersmith]

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.

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