__chk_user_ptr : How does it work ?

2010-10-10 Thread Onkar Mahajan
#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

Re: __chk_user_ptr : How does it work ?

2010-10-10 Thread Dave Hylands
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