#ifdef __CHECKER__
# define __user__attribute__((noderef, address_space(1)))
# define __kernel__attribute__((address_space(0)))
# define __safe__attribute__((safe))
# define __force__attribute__((force))
# define __nocast__attribute__((nocast))
# define __iomem
On Sun, Oct 10, 2010 at 5:51 AM, Onkar Mahajan kern.de...@gmail.com wrote:
#ifdef __CHECKER__
# define __user __attribute__((noderef, address_space(1)))
# define __kernel __attribute__((address_space(0)))
# define __safe __attribute__((safe))
# define __force