On Sat, 19 Jul 2008, Adrian Bunk wrote:
> On Fri, Jul 18, 2008 at 03:10:24PM -0400, Robert P. J. Day wrote:
> >
> > from include/linux/compiler.h:
> >
> > # define __acquires(x) __attribute__((context(x,0,1)))
> > # define __releases(x) __attribute__((context(x,1,0)))
> > # define __acquire(x) __context__(x,1)
> > # define __release(x) __context__(x,-1)
> >
> > but the gcc user manual doesn't define the meaning of that attribute.
> > is it explained in detail elsewhere? (and why doesn't the manual
> > mention it?)
>
> It's inside an #ifdef __CHECKER__ - it's for sparse, not for gcc.
yes, i just noticed that so i'm going to have a more complicated
question about it shortly. :-)
rday
--
========================================================================
Robert P. J. Day
Linux Consulting, Training and Annoying Kernel Pedantry:
Have classroom, will lecture.
http://crashcourse.ca Waterloo, Ontario, CANADA
========================================================================
--
To unsubscribe from this list: send an email with
"unsubscribe kernelnewbies" to ecartis@xxxxxxxxxxxx
Please read the FAQ at http://kernelnewbies.org/FAQ
