lkml.org 
[lkml]   [2010]   [Jan]   [25]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    Date
    From
    SubjectRe: [PATCHSET] percpu: add __percpu sparse annotations
    Hello,

    On 01/26/2010 08:14 AM, Al Viro wrote:
    > Um. Where *is* the definition of __percpu? Presumably, that'd be
    > something like __attribute__((noderef,address_space(4)) under ifdef
    > __CHECKER__ and empty otherwise? If so, I'm fine with that patchset,
    > provided that it does grow that #define and becomes self-contained...

    Ah... sorry, I forgot about the base tree. The definition has been in
    the percpu tree for some time now. The patchset is on top of the
    following branch.

    git://git.kernel.org/pub/scm/linux/kernel/git/tj/percpu.git for-next

    and the series is available as git tree in the following branch.

    git://git.kernel.org/pub/scm/linux/kernel/git/tj/percpu.git percpu-sparse-review

    The definition is in include/linux/compiler.h.

    # define __percpu __attribute__((noderef, address_space(3)))

    which gets replaced by dummy def if !__CHECKER__.

    Thanks.

    --
    tejun


    \
     
     \ /
      Last update: 2010-01-26 01:27    [W:0.023 / U:0.824 seconds]
    ©2003-2016 Jasper Spaans. hosted at Digital OceanAdvertise on this site