lkml.org 
[lkml]   [2010]   [Apr]   [20]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    Patch in this message
    /
    From
    Subject[PATCH tip/core/rcu 05/23] rcu: Fix bogus CONFIG_PROVE_LOCKING in comments to reflect reality.
    Date
    It is CONFIG_DEBUG_LOCK_ALLOC rather than CONFIG_PROVE_LOCKING, so fix it.

    Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
    ---
    include/linux/rcupdate.h | 15 ++++++++-------
    include/linux/srcu.h | 4 ++--
    2 files changed, 10 insertions(+), 9 deletions(-)

    diff --git a/include/linux/rcupdate.h b/include/linux/rcupdate.h
    index 07db2fe..40854c6 100644
    --- a/include/linux/rcupdate.h
    +++ b/include/linux/rcupdate.h
    @@ -106,8 +106,8 @@ extern int debug_lockdep_rcu_enabled(void);
    /**
    * rcu_read_lock_held - might we be in RCU read-side critical section?
    *
    - * If CONFIG_PROVE_LOCKING is selected and enabled, returns nonzero iff in
    - * an RCU read-side critical section. In absence of CONFIG_PROVE_LOCKING,
    + * If CONFIG_DEBUG_LOCK_ALLOC is selected, returns nonzero iff in an RCU
    + * read-side critical section. In absence of CONFIG_DEBUG_LOCK_ALLOC,
    * this assumes we are in an RCU read-side critical section unless it can
    * prove otherwise.
    *
    @@ -129,11 +129,12 @@ extern int rcu_read_lock_bh_held(void);
    /**
    * rcu_read_lock_sched_held - might we be in RCU-sched read-side critical section?
    *
    - * If CONFIG_PROVE_LOCKING is selected and enabled, returns nonzero iff in an
    - * RCU-sched read-side critical section. In absence of CONFIG_PROVE_LOCKING,
    - * this assumes we are in an RCU-sched read-side critical section unless it
    - * can prove otherwise. Note that disabling of preemption (including
    - * disabling irqs) counts as an RCU-sched read-side critical section.
    + * If CONFIG_DEBUG_LOCK_ALLOC is selected, returns nonzero iff in an
    + * RCU-sched read-side critical section. In absence of
    + * CONFIG_DEBUG_LOCK_ALLOC, this assumes we are in an RCU-sched read-side
    + * critical section unless it can prove otherwise. Note that disabling
    + * of preemption (including disabling irqs) counts as an RCU-sched
    + * read-side critical section.
    *
    * Check rcu_scheduler_active to prevent false positives during boot.
    */
    diff --git a/include/linux/srcu.h b/include/linux/srcu.h
    index 4d5ecb2..9c01f10 100644
    --- a/include/linux/srcu.h
    +++ b/include/linux/srcu.h
    @@ -84,8 +84,8 @@ long srcu_batches_completed(struct srcu_struct *sp);
    /**
    * srcu_read_lock_held - might we be in SRCU read-side critical section?
    *
    - * If CONFIG_PROVE_LOCKING is selected and enabled, returns nonzero iff in
    - * an SRCU read-side critical section. In absence of CONFIG_PROVE_LOCKING,
    + * If CONFIG_DEBUG_LOCK_ALLOC is selected, returns nonzero iff in an SRCU
    + * read-side critical section. In absence of CONFIG_DEBUG_LOCK_ALLOC,
    * this assumes we are in an SRCU read-side critical section unless it can
    * prove otherwise.
    */
    --
    1.7.0


    \
     
     \ /
      Last update: 2010-04-20 23:49    [W:0.021 / U:31.544 seconds]
    ©2003-2016 Jasper Spaans. hosted at Digital OceanAdvertise on this site